Actually, derived Show instance for _any_ type displays the constructor.

I hope this statement is correct ;)