module CodeMushu.DSL where

import CodeMushu.Type

import Data.StateVar

import MPS.Env hiding (read)
import Prelude ()

read :: (HasGetter g) => g a -> IO a
read = get