Type-class principles

[tonymorris]

<edwardk> also theoretically AsCoordinate p f t should subtype AsLatitude p f t and AsLongitude p f t           -- class (AsLatitude p f t, AsLongitude p f t) => AsCoordinate p f t where ...