- This is useful because you cannot just type <literal>x</literal> in the
- prompt and expect GHCi to return you its value. Perhaps you know for
- sure that
- <literal>x</literal> is of type <literal>Int</literal>, which is an instance of
- <literal>Show</literal>, but GHCi does not have this information.
- <literal>:print</literal> however is fine, because it does not need to know the
- type to do its work. </para>
+ <literal>:print</literal> works here because it does not need the
+ type information to do its work. In fact, as we will see later,
+ <literal>:print</literal> can even recover the missing type information.</para>
+