{-# OPTIONS -fno-implicit-prelude -fglasgow-exts #-} module Algebra.RightModule where import qualified Algebra.Ring as Ring import qualified Algebra.Additive as Additive -- import NumericPrelude import qualified Prelude -- Is this right? infixl 7 <* class (Ring.C a, Additive.C b) => C a b where (<*) :: b -> a -> b