[Haskell-cafe] Very freaky

[Andrew Coppin]

Bernie Pope wrote:
>
> On 12/07/2007, at 4:43 AM, Andrew Coppin wrote:
>
>> Bernie Pope wrote:
>>>
>>> This reminds me of a little joke that Conor McBride had in a post a 
>>> while ago:
>>>
>>>    unJust :: Maybe wmd -> wmd
>>
>> Oh, very good!
>>
>> I must write that down somewhere...
>
> I tell it to my Haskell students each semester and it usually gets a 
> giggle. I also ask them why is it possible to write jokes in Haskell's 
> types, which often leads to some interesting discussions about logic 
> and the nature of jokes etc.

I told it to the guys on the POV-Ray forum.

Sadly, I think most of them have by now set up filters to delete all 
posts containing words such as "Haskell"...