A Practical Combinator Library

See Combinatory Programming for details.