Supermonads: one notion to bind them all
Several popular generalizations of monads have been implemented in Haskell. Unfortunately, because the shape of the associated type constructors do not match the standard Haskell monad interface, each such implementation provides its own type class and versions of associated library functions. Furth...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2016
|
| Online Access: | http://eprints.nottingham.ac.uk/36156/ http://eprints.nottingham.ac.uk/36156/ http://eprints.nottingham.ac.uk/36156/1/paper.pdf |