A value of type
Label x is really a value of type
x, but with
a textual label. The
Show instance returns this label.
This can be tremendously useful for allowing you to
which would not otherwise be printable. For example, functions.
Rather than passing a function, you can pass a labelled function.
This allows you to know, at runtime, which function you're
dealing with, which is very useful for test purposes.