úÎ{+usj      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghito be determined experimentalstephen.tetley@gmail.com1I combinator - identity bird / idiot bird - Haskell j. !K combinator - kestrel - Haskell k.  Corresponds to the encoding of true in the lambda calculus. Not interdefined. #B combinator - bluebird - Haskell (l). "C combinator - cardinal - Haskell m. A combinator - apply / applicator - Haskell (n). Note: the definition here is - C (B B I) I - and not the  familiar  - S (S K) -& which as far as Haskell is concerned  has a different type. , (S(SK)) :: ((a -> b) -> a) -> (a -> b) -> a(Psi combinator - psi bird (?) - Haskell on. B3 combinator - becard. "B1 combinator - blackbird - specs oo. B' combinator - bluebird prime.  B2 combinator - bunting - specs ooo. C' combinator - no name. 'C* combinator - cardinal once removed. )C** combinator - cardinal twice removed. D1 combinator - dickcissel. D combinator - dove. D2 combinator - dovekie. E combinator - eagle. E ^ - bald eagle. > For alphabetical regularity it is somewhat misnamed here as  eaglebald. F combinator - finch. $F* combinator - finch once removed. %F** combinator - finch once removed. G combinator - goldfinch. H combinator - hummingbird. ,I* combinator - identity bird once removed.  Alias of  , Haskell's (n).  Type signature .I** combinator - identity bird twice removed. ;Alternative J combinator - this is the J combintor of Joy, . Rayward-Smith and Burton (see. Antoni Diller ' Compiling  Functional Languages'# page 104). It is not the J - jay " combinator of the literature. J'2 combinator - from Joy, Rayward-Smith and Burton.  See the comment to . J combinator - jay.  This is the usual J combinator.  Ki - kite.  Corresponds to the encoding of false in the lambda calculus. O combinator - owl. )(Big) Phi combinator - phoenix - Haskell liftM2. Q4 combinator - quacky bird. Q combinator - queer bird. Haskell (##) in Peter Thiemann's Wash, reverse composition. !Q3 combinator - quirky bird. "Q1 combinator - quixotic bird. # Q2 combinator - quizzical bird. $R combinator - robin. %$R* combinator - robin once removed. &&R** combinator - robin twice removed. 'S combinator - starling. Haskell: Applicative's (<*>) on functions. Not interdefined. (S'% combinator - starling prime - Turner' s big phi.  Haskell: Applicative's liftA2 on functions. )T combinator - thrush.  Haskell (#) in Peter Thiemann's Wash, reverse application. *V combinator - vireo. +$V* combinator - vireo once removed. ,&V** combinator - vireo twice removed. -0W combinator - warbler - elementary duplicator. ."W1 combinator - converse warbler.  - with the arguments reversed. /&W* combinator - warbler once removed. 0(W** combinator - warbler twice removed. 1  !"#$%&'()*+,-./01   !"#$%&'()*+,-./01  !"#$%&'()*+,-./0to be determined experimentalstephen.tetley@gmail.com11I combinator - identity bird / idiot bird - Haskell j. 2!K combinator - kestrel - Haskell k.  Corresponds to the encoding of true in the lambda calculus. 3#B combinator - bluebird - Haskell (l). 4"C combinator - cardinal - Haskell m. 5A combinator - apply / applicator - Haskell (n). 6(Psi combinator - psi bird (?) - Haskell o. 7B3 combinator - becard. 8"B1 combinator - blackbird - specs oo. 9B' combinator - bluebird prime. : B2 combinator - bunting - specs ooo. ;C' combinator - no name. <'C* combinator - cardinal once removed. =)C** combinator - cardinal twice removed. >D1 combinator - dickcissel. ?D combinator - dove. @D2 combinator - dovekie. AE combinator - eagle. BE ^ - bald eagle. > For alphabetical regularity it is somewhat misnamed here as  eaglebald. CF combinator - finch. D$F* combinator - finch once removed. E%F** combinator - finch once removed. FG combinator - goldfinch. GH combinator - hummingbird. H+I* combinator - identity bird once removed  Alias of 5 , Haskell's (n). I-I** combinator - identity bird twice removed J;Alternative J combinator - this is the J combintor of Joy, . Rayward-Smith and Burton (see. Antoni Diller ' Compiling  Functional Languages'# page 104). It is not the J - jay " combinator of the literature. KJ'2 combinator - from Joy, Rayward-Smith and Burton.  See the comment to J. LJ combinator - jay.  This is the usual J combinator. M Ki - kite.  Corresponds to the encoding of false in the lambda calculus. NO combinator - owl. O)(Big) Phi combinator - phoenix - Haskell liftM2. PQ4 combinator - quacky bird. QQ combinator - queer bird. Haskell (##) in Peter Thiemann's Wash, reverse composition. RQ3 combinator - quirky bird. SQ1 combinator - quixotic bird. T Q2 combinator - quizzical bird. UR combinator - robin. V$R* combinator - robin once removed. W%R* combinator - robin twice removed. XS combinator - starling. Haskell: Applicative's (<*>) on functions. Substitution. YS'% combinator - starling prime - Turner' s big phi.  Haskell: Applicative's liftA2 on functions. ZT combinator - thrush.  Haskell (#) in Peter Thiemann's Wash, reverse application. [V combinator - vireo. \$V* combinator - vireo once removed. ]&V** combinator - vireo twice removed. ^0W combinator - warbler - elementary duplicator. _"W1 combinator - converse warbler.  ^ with the arguments reversed. `&W* combinator - warbler once removed. a(W** combinator - warbler twice removed. 1123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`a1123456789:;<=?>@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`a1123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`ato be determined experimentalstephen.tetley@gmail.combT combinator - thrush (Reverse application - the T combinator.  Found in Peter Thiemann's WASH and the paper 'Client-Side Web  Scripting in Haskell' - Erik Meijer, Daan Leijen & James Hook. cQ Combinator - the queer bitd. -Reverse composition - found in Peter Thiemann's WASH.  You might perfer to use (<<<) from Control.Categoty. dS combinator - subst.  Familiar as Applicative's (<*>) operator, which itself is  fmap: ,f (b -> c) -> f b -> f c where f = ((->) a) eThe big Phi, or Turner's S' combinator. < Known to Haskell programmers as liftA2 and liftM2 for the * Applicative and Monad instances of (->).  ; (a1 -> a2 -> r) -> m a1 -> m a2 -> m r where m = ((->) a) 3Taste suggests you may prefer liftA2 especially as bigphi is  not a great name (calling it s' would take a very useful  variable name). fA variant of the D2& or dovekie combinator - the argument > order has been changed to be more satisfying for Haskellers:   (appro comb f g) x y   (f x) `comb` (g y) on8 from Data.Function is similar but less general, where ? the two intermediate results are formed by applying the same % function to the supplied arguments:  on = (appro comb f f) g6Compose an arity 1 function with an arity 2 function.  B1 - blackbird h6Compose an arity 1 function with an arity 3 function.  B2 - bunting i6Compose an arity 1 function with an arity 4 function. bcdefghibcdefghibcdefghip      !"#$%&'()*+,-./01234      !"#$%&'()*+,-./0123456789:;<=>?=>@=>A=>B=>C=DEFdata-aviary-0.2.0Data.Aviary.BirdsInterData.Aviary.Birds Data.Aviaryidiotkestrelbluebirdcardinal applicatorpsibecard blackbird bluebird'bunting cardinal' cardinalstarcardinalstarstar dickcisseldovedovekieeagle eaglebaldfinch finchstar finchstarstar goldfinch hummingbirdidstar idstarstarjaltjalt'jaykiteowlphoenixquackyqueerquirkyquixotic quizzicalrobin robinstar robinstarstarstarling starling'thrushvireo vireostar vireostarstarwarblerwarbler1 warblerstarwarblerstarstar###substbigphiapproooooooooobaseGHC.Baseidconst.flip$ Data.Functionon