- [var | fv <- varSetElems fvs
- , var <- absVarsOf id_env fv
- , abstract_me var]
+ [var | fv <- varSetElems fvs
+ , var <- absVarsOf id_env fv
+ , abstract_me var ]
+ -- NB: it's important to call abstract_me only on the OutIds the
+ -- come from absVarsOf (not on fv, which is an InId)