(Sorry, Rafael, the first e-mail I forgot to "reply all") On Thu, Jul 17, 2008 at 11:42 AM, Felipe Lessa <felipe.lessa at gmail.com> wrote: > specilized to (->) we get > > (***) :: (b -> c) -> (b -> c') -> (b -> (c, c')) That should read (&&&) :: (b -> c) -> (b -> c') -> (b -> (c, c')) :) -- Felipe.