{-# OPTIONS -fno-implicit-prelude -fglasgow-exts #-}
module Algebra.DivisibleSpace where
import qualified Prelude
import qualified Algebra.VectorSpace as VectorSpace

-- Is this right?
infix 7 </>

{-|
DivisibleSpace is used for free one-dimensional vector spaces.  It
satisfies

>  (a </> b) *> b = a

Examples include dollars and kilometers.
-}
class (VectorSpace.C a b) => C a b where
    (</>) :: b -> b -> a