CoInst -- See if the first arg is already a forall\r
-- ...then we can just extend the current substitution\r
| Just (tv, co1_body) <- splitForAllTy_maybe co1\r
CoInst -- See if the first arg is already a forall\r
-- ...then we can just extend the current substitution\r
| Just (tv, co1_body) <- splitForAllTy_maybe co1\r