This package provides ShowQ, ShowFun, and SimpleReflect.

ShowFun gives a Typeable-dependent instance for showing functions as their type. ShowIO does the same for IO actions.

ShowQ adds SmallCheck & QuickCheck support.

And SimpleReflect allows us to literally see how functions expand, through appropriate Show magic. See http://twan.home.fmf.nl/blog/haskell/simple-reflection-of-expressions.details.