[Haskell-cafe] Nested Types stack size ...