Fix derived map to use .constructor.of
Remove unneeded describe in monad tests
Monoids\!