 = mkEApp (symbol <$> f) (exprArg msg <$> ts)
exprArg msg (RAppTy (RVar f _
exprArg msg (RApp f ts [] _)
  = mkEApp (symbol <$> f) (exprArg msg <$> ts)
exprArg msg (RApp f ts [] _)
  = mkEApp (symbol <$> f) (exprArg msg <$> ts)