Support for indexed monads

propensive / mercator-old

Automatic typeclass-based abstraction over monad-like types

https://propensive.com/opensource/mercator/

Apache License 2.0

54 stars 10 forks source link

Open propensive opened 6 years ago

propensive commented 6 years ago

Some monadic types change the return type of map and flatMap, and these should be supported too.

fommil commented 6 years ago

the indexed state does not actually form a monad