inferList = [TestCase $ assertEqual ("Infer: " ++ s)
                                    (testInfer s)
                                    (fromJust . parseTy . lexer $ result)
            | (s, result) <- inferCases]
inferList = [TestCase $ assertEqual ("Infer: " ++ s)
                                    (testInfer s)
                                    (fromJust . parseTy . lexer $ result)
            | (s, result) <- inferCases]
inferList = [TestCase $ assertEqual ("Infer: " ++ s)
                                    (testInfer s)
                                    (fromJust . parseTy . lexer $ result)
            | (s, result) <- inferCases]