Data.AffineSpace
class AffineSpace p