testEnv = Map.fromList [(n, fromJust . parseTy . lexer $ t) | (n, t) <- core]
testEnv = Map.fromList [(n, fromJust . parseTy . lexer $ t) | (n, t) <- core]
testEnv = Map.fromList [(n, fromJust . parseTy . lexer $ t) | (n, t) <- core]