úÎì‰byorgey@cis.upenn.edu Safe-InferedPoint; is a newtype wrapper around vectors that we wish to treat  as points, so we don'(t get them mixed up. The distinction is < important: translations affect points, but leave vectors + unchanged. Points are instances of the  class from  Data.AffineSpace. The origin of the vector space v. Scale a point by a scalar.   vector-space-points-0.1.1.1Data.AffineSpace.PointPointPorigin*.vector-space-0.8.2Data.AffineSpace AffineSpace$fAffineSpacePoint$fNewtypePointv