Towards polymorphic type variables.