make the type of an existential or universal print.
fixing the instances for Pure.