var-monad

The VarMonad typeclass, as defined by Type Classes: an exploration of the design space by SPJ et al, 1997.