VectMonad
data Scope a b
data VM a
data Builtins
data GlobalEnv
data LocalEnv