Hi Haskell friends, This is an announcement for Hatchet version 0.1 http://www.cs.mu.oz.au/~bjpop/hatchet.html Hatchet is a type checking and inference tool for Haskell 98. It is based on "Typing Haskell in Haskell" by Mark Jones (http://www.cse.ogi.edu/~mpj/thih/) It is incomplete, hence version 0.1, but (I think) usable. I'm making it available in the hope that it might be of use to other people. Documentation is available on the Hatchet web page. Please feel free to help make Hatchet better. Regards, Bernie.