Type & color : A handbook of ...combinators - Cook, Alton (Rockport, 1989)