On Fri, Mar 13, 2009 at 05:35:31PM +0300, Eugene Kirpichov wrote: > 'An arbitrary element' means 'undefined will suffice' > > point x = fmap (const x) undefined This is false. Prelude> fmap (const 1) [()] [1] Prelude> fmap (const 1) undefined *** Exception: Prelude.undefined -Brent