one
MultiplicativeMonoid
MultiplicativeMonoidFunctions