Helper to make implicit resolution behave right
Prettyprint a strongly-typed value, falling back to toString if you don't know what to do with it.
Prettyprint a strongly-typed value, falling back to toString if you don't know what to do with it. Generally used for human-facing output