raiseExpectedProduct :: MonadError CoreErr m => Expr -> m a
raiseExpectedProduct = throwError . ExpectedTypeExpr ProductSp
raiseExpectedProduct :: MonadError CoreErr m => Expr -> m a
raiseExpectedProduct = throwError . ExpectedTypeExpr ProductSp
raiseExpectedProduct = throwError . ExpectedTypeExpr ProductSp