The Comonad.Readertypes, (co)monads, substructural logic

Applicatives

Building applicative functors, exploring their algebras, and comparing their representations.