toplevel' :: [String] -> StateT Context Error String
toplevel' []     = return "empty expressions"
toplevel' :: [String] -> StateT Context Error String
toplevel' []     = return "empty expressions"
toplevel' []     = return "empty expressions"