* Open issue #1: Reverse of fmap "lifting" behavior * Open issue #2: Monoid generalization of Alternative generators * Open issue #3: Category Monoids