- Just (SubstArg arg') -> returnEager arg'
- Just (SubstExpr _) -> panic "simplArg"
- Nothing -> case lookupOutIdEnv env id of
+ Just (SubstVar id') -> returnEager (VarArg id')
+ Just (SubstLit lit) -> returnEager (LitArg lit)
+ Just (SubstExpr _ __) -> panic "simplArg"
+ Nothing -> case lookupOutIdEnv env id of