License  BSDstyle (see the file LICENSE) 

Maintainer  Edward Kmett <ekmett@gmail.com> 
Stability  provisional 
Portability  portable 
Safe Haskell  None 
Language  Haskell98 
Operations on affine spaces.
 newtype Covector r a = Covector {
 runCovector :: (a > r) > r
 ($*) :: Representable f => Covector r (Rep f) > f r > r
Documentation
Linear functionals from elements of an (infinite) free module to a scalar
Covector  

($*) :: Representable f => Covector r (Rep f) > f r > r infixr 0 #