New GHCi command to print out the type of an expression without instantiating
#11376 (closed) changed the meaning of
:type to deeply instantiate a type before printing. This means that we can't see which variables were specified and which were inferred.
:type-spec (please suggest a better name) that does not instantiate first.
Phab patch to be posted shortly.