Hal Daume III <hdaume at ISI.EDU> writes: >> f1 :: Int -> Int >> f1 x >> | trace ("The initial value is " ++ show x) False = undefined >> | otherwise = f2 x > > In general, the 'trace ... False = undefined' thing is > quite useful How is it better than > f1 x = trace ("The initial value is " ++ show x) $ f2 x ? Feri.