Algebra.RightModule

class C a b