Guess.Combinator

Guess a value for a combinator

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

Documentation

combinator :: GuessCombinator t HNil => t

Guess a combinator given its type

Example:

>>> let f = combinator :: (b -> c) -> (a -> b) -> a -> c
>>> f (:[]) ((,) True) 10
[(True, 10)]