Morphisms from 'normal' monoids to HaskellMonoids