Re: [Haskell-cafe] Questions about the Functor class and it's use in "Data types à la carte"

On Dec 15, 2007 3:44 AM, Benja Fallenstein wrote:

Hmmm. Something about that ticks off my "don't play fast and loose with bottom" detector.

I should add that I do think you're correct if you ignore the existence of bottom, and I'm pretty sure that you're correct if you allow bottom but consider seq to be only slightly better than unsafePerformIO. But I couldn't turn your proof sketch into something that would completely convince me, myself :-) - Benja