Use ::: instead of ++ in FreeMonoid.