Hi > *Main> show $ A `And` A > "A And A" For me, using GHCi 6.4.2 + Windows, I get: "A `And` A" Which all works perfectly. For reference, Hugs writes out "And A A", and then parses it back again. Hugs cannot cope with the "A `And` A" form with read, and GHC can't cope with "And A A". Thanks Neil