 t _)
  = mkEApp (dummyLoc $ symbol f) [exprArg msg t]
exprArg msg z
  = panic Nothi
exprArg msg (RAppTy (RVar f _) t _)
  = mkEApp (dummyLoc $ symbol f) [exprArg msg t]
exprArg msg (RAppTy (RVar f _) t _)
  = mkEApp (dummyLoc $ symbol f) [exprArg msg t]