System F and Armin van Bauren