[Haskell-cafe] Pointless functors

Ross Paterson ross at soi.city.ac.uk
Fri Mar 13 11:57:18 EDT 2009


On Fri, Mar 13, 2009 at 04:11:57PM +0100, Martijn van Steenbergen wrote:
> Eugene Kirpichov wrote:
>> 'An arbitrary element' means 'undefined will suffice'
>>
>> point x = fmap (const x) undefined
>
> Prelude> fmap (const True) undefined :: [Bool]
> *** Exception: Prelude.undefined
>
> Or is that not what you mean?

OK, an arbitrary maximal element.


More information about the Haskell-Cafe mailing list