Programming style in which control is passed explicitly| en.wikipedia.org
Monad classes for transformers, using functional dependencies| Hackage
