On Sun, 26 Dec 2010, David Menendez wrote: > instance Show (MaybeT m a) > > This is never valid. You've defined show, shows, and showsPrec in terms of each other, creating > unbounded recursion. Delete it. Unfortunately, the -Wall option of GHC won't help here, since all the methods are defined by default methods.