Allow `forall X. X` in types