Control.Monad.Var.Class

class VarMonad m v