I usually have 'Use Show instance' switched off (aka use 'built-in printer'), so I can see (at least in crude form) imported or 'system' datatypes that don't have show instances/also it's a bit more revealing if I get exceptions.

I have a datatype:

>    data Tree a = Empty
>            | Leaf a
>            | Node (Tree a) a (Tree a)  
>            deriving (Eq, Show, Read)

For results of expressions that were `Node`s, the built-in printer just ignored the first field. (`show`/print of those values works fine.)

>        FoldableTree>  myTree <> fdmap toUpper myTree
>        Node 'c' Empty

>        FoldableTree> print $ myTree <> fdmap toUpper myTree
>        Node (Node Empty 'A' (Node Empty 'C' (Leaf 'a'))) 'c' Empty

Most disconcerting until I realised what was going on. (Of course I don't expect the built-in printer to produce pretty output).

AntC