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