
17 Jul
2008
17 Jul
'08
2:44 p.m.
(Sorry, Rafael, the first e-mail I forgot to "reply all")
On Thu, Jul 17, 2008 at 11:42 AM, Felipe Lessa
specilized to (->) we get
(***) :: (b -> c) -> (b -> c') -> (b -> (c, c'))
That should read (&&&) :: (b -> c) -> (b -> c') -> (b -> (c, c')) :) -- Felipe.