全称型, System F