Fix exception with provided & erased types
Add comments explaining hack