This repository has been archived by the owner on Dec 26, 2023. It is now read-only.

Support for indexed monads #2

Open

propensive opened this issue Aug 9, 2018 · 1 comment

Owner

propensive commented Aug 9, 2018

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

The text was updated successfully, but these errors were encountered:

Contributor

fommil commented Aug 13, 2018

the indexed state does not actually form a monad

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.