For learning, I would like to develop my own implementation of type inference, based on the paper "Typing Haskell in Haskell". At first sight, the source code of THIH contains a small number of tests, but I was wandering if a large test set exist? Thanks, Peter