fromMonoid