README.md

Monads

(Up) | Wikipedia: Monad (functional programming) | See also: Category Theory, Functional Programming, Haskell

Web resources

All About Monads - HaskellWiki ★

What monads can be expressed as Free over some functor? ★

What is indexed monad? ★★

(in Functional Programming) Functors, Applicatives, And Monads In Pictures - adit.io ★★★

(in Haskell) Using \'Either\' in Haskell ★

(in Haskell) Defining a new monad in haskell raises no instance for Applicative ★

Papers

(in Coq) Interaction Trees (online @ archive.org) ★★ 💭