raiseExpectedForall :: MonadError CoreErr m => Expr -> m a
raiseExpectedForall = throwError . ExpectedTypeExpr ForallSp
raiseExpectedForall :: MonadError CoreErr m => Expr -> m a
raiseExpectedForall = throwError . ExpectedTypeExpr ForallSp
raiseExpectedForall = throwError . ExpectedTypeExpr ForallSp