On Fri, Mar 19, 2010 at 04:03:52PM -0400, Ben Derrett wrote: > > trace2 a = trace (show a) a > > In the definition of `trace2': trace2 a = (show a) a These don't match. It looks like maybe you forgot the call to trace in your definition of trace2? -Brent