mis-spelled monoid
compiles and is probably right