# var-monad

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