On 8 September 2010 13:08, Brent Yorgey <byorgey at seas.upenn.edu> wrote: > No, each bird has its own type; each bird represents some particular > combinator (= polymorphic function). Also, bear in mind that some of the birds cannot be typed in Haskell.