I wrote:

>      (.)      :: ((a -> b) -> (c -> a)) -> (c -> b)
>      flip (.) :: ((a -> b) -> (b -> c)) -> (a -> c)

Hm, let me try  that again:

     (.)      :: (a -> b) -> (c -> a) -> (c -> b)
     flip (.) :: (a -> b) -> (b -> c) -> (a -> c)


Cheers,

Ronny Wichers Schreur


Reply via email to