Monad

intermediate

TODO. Meanwhile you can find a short description in the intro to typeclasses.

Data Types

The following data types in Arrow provide instances that adhere to the Monad type class.