guess-combinator

Based on De-typechecker: converting from a type to a term by at pobox.com http:www.haskell.orgpipermailhaskell2005-March015423.html