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

_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to