# var-monad

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

  [1]: https://www.microsoft.com/en-us/research/publication/type-classes-an-exploration-of-the-design-space/