@@ -472,7 +472,8 @@ check' (ArrayLiteral vals) t@(TypeApp a ty) = do
472472 a =?= tyArray
473473 array <- ArrayLiteral <$> forM vals (`check` ty)
474474 return $ TypedValue True array t
475−check' (Abs (Left arg) ret) ty@(TypeApp (TypeApp t argTy) retTy) | t == tyFunction = do
475+check' (Abs (Left arg) ret) ty@(TypeApp (TypeApp t argTy) retTy) = do
476+ t =?= tyFunction
476477 Just moduleName <- checkCurrentModule <$> get
477478 ret' <- makeBindingGroupVisible $ bindLocalVariables moduleName [(arg, argTy, Defined)] $ check ret retTy
478479 return $ TypedValue True (Abs (Left arg) ret') ty