Drops foralls from function type