@@ -64,7 +64,7 @@ expr :: IParser T.Type
65 do t1 <- app <|> term
65 do t1 <- app <|> term
66 whitespace
66 whitespace
67− arr <- optionMaybe arrow
67+ arr <- optionMaybe (try arrow)
68 whitespace
68 whitespace
69 case arr of
69 case arr of
70 Just _ -> T.Lambda t1 <$> expr
70 Just _ -> T.Lambda t1 <$> expr