@@ -716,7 +716,8 @@ check' v@(StringLiteral _) t | t == tyString =
716 return $ TypedValue True v t
716 return $ TypedValue True v t
717check' v@(BooleanLiteral _) t | t == tyBoolean =
717check' v@(BooleanLiteral _) t | t == tyBoolean =
718 return $ TypedValue True v t
718 return $ TypedValue True v t
719−check' (ArrayLiteral vals) t@(TypeApp a ty) | a == tyArray = do
719+check' (ArrayLiteral vals) t@(TypeApp a ty) = do
720 array <- ArrayLiteral <$> forM vals (`check` ty)
721 array <- ArrayLiteral <$> forM vals (`check` ty)
721 return $ TypedValue True array t
722 return $ TypedValue True array t
722check' (Abs (Left arg) ret) ty@(TypeApp (TypeApp t argTy) retTy) | t == tyFunction = do
723check' (Abs (Left arg) ret) ty@(TypeApp (TypeApp t argTy) retTy) | t == tyFunction = do