Henning Thielemann wrote: > Show and Read instances should process Strings representing Haskell code, > and I guess, Haskell code with the same type as the represented value. Thus > the NF should be part of the formatted value. Agreed. Instead, add stand-alone functions: readNF = makeNF . read showNF = show . getNF