submonoid.to_monoid source