If the user expression has an output type for which we don't have a special-case interpretation, like a tuple or a string, then implicitly add a call to show. If the output does not have a Show instance, then the compiler's error message about that should already be quite clear.
If the user expression has an output type for which we don't have a special-case interpretation, like a tuple or a string, then implicitly add a call to
show
. If the output does not have a Show instance, then the compiler's error message about that should already be quite clear.