[Haskell-cafe] Article review: Category Theory

[David House]

On 18/01/07, Joachim Breitner <mail at joachim-breitner.de> wrote:
> (.) :: (b -> c) -> (a -> b) -> a -> c
> id :: a -> a
> therefore b = a
> therefore _|_ :: a -> c
>
> (This is mostly rough guesswork, I might be totally wrong)

That much is right, but remember that just because _|_ has type a -> c
doesn't mean it takes a parameter. Bottom can take any type, and I
don't think _|_ == \x -> _|_.

-- 
-David House, dmhouse at gmail.com