I narrowed the issue down to something that everyone can reproduce. Sample code that makes GHC 6.4.1 run out of memory is here: http://wagerlabs.com/Foo.hs Cabalized HList can be found here: http://www.cs.helsinki.fi/u/ekarttun/haskell/ Thanks, Joel -- http://wagerlabs.com/