applicable for the arguments'
- avoid erasures to be intersection types of identical elements
- consistently perform substitution on recursive capture bindings