Impredicative polymorphism no longer deprecated.