On 1/29/12 12:03 AM, Joachim Breitner wrote: > Maybe you mean: > > foo :: A -> B -> C > > albert :: X -> A > beth :: Y -> B > carol :: C -> Z > > bar :: X -> Y -> Z > bar = foo $:: albert ~> beth ~> carol Er, yes, of course. Silly me. Fixing the documentation now. -- Live well, ~wren