refactoring: remove VarMonad