|      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~to be determined experimentalstephen.tetley@gmail.com Safe-Inferred) for the function instance of Functor is compose  ( ) which in turn is . The Applicative combinator () is a synonym for , 7 so for the function instance of of Applicative it is  compose (  ) which is .  Applicative (). %The function instance of Applicative  is  const which is . The combinator ( ) for the function instance of & Applicative is the S combinator aka  . The Applicative function  is a synonym for , 7 so for the function instance of of Applicative it is  compose (  ) which is .  2 for the function instance of Applicative is the  " combinator, also called big Phi  and starling-prime. &For the function instance of Category id is just the  identity function (Haskell's  ). ;For the function instance of Category composition is just " regular function composition aka . 5For the function instance of Category right-to-left 6 composition is just regular function composition aka  . 5For the function instance of Category left-to-right  composition is the   bird. !The function instance of Monadic  is equal to the  constant function (const) aka . (The Monadic function (! would ideally be a synonym for  ;, so for the function instance of of Monad it corresponds  to composition - Haskell's (  ) and the   combinator. )), for the function instance of Monad is the  " combinator, also called big Phi  and starling-prime. --8 is the Monadic equivalent of the Applicative operator  (9). So for the function instance of Monad it corresponds  to the S combinator aka . .The Arrow operation . corresponds to function 8 application for the function instance of Arrow - i.e.  Haskell's ($ ) operator.  This is the   combinator in  Data.Aviary. 3$For the function instance of Arrow, 3 is the  identity function aka  . 4The Arrow operation #precomposition with a pure function < (left-to-right) is equal to the left-to-right composition  operator () for function Arrows. This corresponds to  . 5The Arrow operation $postcomposition with a pure function < (left-to-right) is equal to the left-to-right composition  operator () for function Arrows. This corresponds to  . 6The Arrow operation #precomposition with a pure function < (right-to-left) is equal to the right-to-left composition  operator ( 1) for function Arrows, which in turn is equal to  regular function composition. This corresponds to . 7The Arrow operation $postcomposition with a pure function < (right-to-left) is equal to the right-to-left composition  operator ( 1) for function Arrows, which in turn is equal to  regular function composition. This corresponds to . J  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIto be determined experimentalstephen.tetley@gmail.com Safe-Inferred1JI combinator - identity bird / idiot bird - Haskell . K!K combinator - kestrel - Haskell .  Corresponds to the encoding of true in the lambda calculus. L#B combinator - bluebird - Haskell (). M"C combinator - cardinal - Haskell . NA combinator - apply / applicator - Haskell () This is also called i-star. O(Psi combinator - psi bird (?) - Haskell . PB3 combinator - becard. Q"B1 combinator - blackbird - specs oo. RB' combinator - bluebird prime. S B2 combinator - bunting - specs ooo. TC' combinator - no name. U'C* combinator - cardinal once removed. V)C** combinator - cardinal twice removed. WD1 combinator - dickcissel. XD combinator - dove. YD2 combinator - dovekie. ZE 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 twice removed. _G combinator - goldfinch. `H combinator - hummingbird. a+I* combinator - identity bird once removed  Alias of N , Haskell's (). b-I** combinator - identity bird twice removed c;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. dJ'2 combinator - from Joy, Rayward-Smith and Burton.  See the comment to c. eJ combinator - jay.  This is the usual J combinator. f Ki - kite.  Corresponds to the encoding of false in the lambda calculus. gO combinator - owl. h)(Big) Phi combinator - phoenix - Haskell liftM2. iQ4 combinator - quacky bird. jQ combinator - queer bird. Haskell (##) in Peter Thiemann's Wash, reverse composition. kQ3 combinator - quirky bird. lQ1 combinator - quixotic bird. m Q2 combinator - quizzical bird. nR combinator - robin. o$R* combinator - robin once removed. p&R** combinator - robin twice removed. qS combinator - starling. Haskell: Applicative's (<*>) on functions. (Substitution / composition). rS'% combinator - starling prime - Turner' s big phi.  Haskell: Applicative's liftA2 on functions. sT combinator - thrush.  Haskell (#) in Peter Thiemann's Wash, reverse application. tV combinator - vireo. u$V* combinator - vireo once removed. v&V** combinator - vireo twice removed. w0W combinator - warbler - elementary duplicator. x"W1 combinator - converse warbler.  w with the arguments reversed. y&W* combinator - warbler once removed. z(W** combinator - warbler twice removed. 1JKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz1JKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz1JKLMNOPQRSTUVXWYZ[\]^_`abcdefghijklmnopqrstuvwxyz1JKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyzto be determined experimentalstephen.tetley@gmail.com Safe-Inferred1{I combinator - identity bird / idiot bird - Haskell . |!K combinator - kestrel - Haskell .  Corresponds to the encoding of true in the lambda calculus. Not interdefined. }#B combinator - bluebird - Haskell (). ~"C combinator - cardinal - Haskell . A combinator - apply / applicator - Haskell (). This is also called i-star. &Note: the (inter-) 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 twice removed. G combinator - goldfinch. H combinator - hummingbird. ,I* combinator - identity bird once removed.  Alias of  , Haskell's ().  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. (W** combinator - warbler twice removed. 1{|}~1{|}~1{|}~1{|}~to be determined experimentalstephen.tetley@gmail.com Safe-Inferred1I combinator - identity bird / idiot bird - Haskell . !K combinator - kestrel - Haskell .  Corresponds to the encoding of true in the lambda calculus. #B combinator - bluebird - Haskell (). "C combinator - cardinal - Haskell . A combinator - apply / applicator - Haskell (). This is also called i-star. (Psi combinator - psi bird (?) - Haskell . 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 twice removed. G combinator - goldfinch. H combinator - hummingbird. +I* combinator - identity bird once removed  Alias of  , Haskell's (). -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. This is the same function as . 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. Substitution. S'% combinator - starling prime - Turner' s big phi.  Haskell: Applicative's liftA2 on functions (and similarly  Monad's liftM2). This is the same function as . T combinator - thrush.  Haskell (#) in Peter Thiemann's Wash, reverse application.  V combinator - vireo (pairing). $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. (W** combinator - warbler twice removed. 1111   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTU V WXYZ[\]^_`abcdefghijklmnop qrstuvwxyz{|}~ V WXYZ[\]^_`abcdefghijklmnop qrstuvwxyz{|}~ V WXYZ[\]^_`abcdefghijklmnop qrstuvwxyz{|}~data-aviary-0.4.0Data.Aviary.FunctionalData.Aviary.BirdsVersionData.Aviary.BirdsInterData.Aviary.Birdsbluebirdkestrelstarlingphoenixqueer applicatoridiotfmap<$><$pure<*>*><*<**>liftAliftA2liftA3id.<<<>>>>>=>>returnfailmapMmapM_forMforM_sequence sequence_=<<>=><=<foreverjoinfilterM mapAndUnzipMzipWithM zipWithM_foldMfoldM_ replicateM replicateM_whenunlessliftMliftM2liftM3liftM4liftM5aparrfirstsecond***&&&returnA^>>>>^<<^^<<leftright+++|||appleftApploopextract duplicateextendliftW=>>.>>liftCtxmapW parallelWunfoldW sequenceWcardinalpsibecard blackbird bluebird'bunting cardinal' cardinalstarcardinalstarstar dickcisseldovedovekieeagle eaglebaldfinch finchstar finchstarstar goldfinch hummingbirdidstar idstarstarjaltjalt'jaykiteowlquackyquirkyquixotic quizzicalrobin robinstar robinstarstar starling'thrushvireo vireostar vireostarstarwarblerwarbler1 warblerstarwarblerstarstarbaseGHC.Baseconstflip$ Data.Functionon