[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