mercator-old
mercator-old copied to clipboard
Support for indexed monads
Some monadic types change the return type of map
and flatMap
, and these should be supported too.
the indexed state does not actually form a monad