Re: [Haskell-cafe] A free monad theorem?

On Thu, Aug 31, 2006 at 10:16:38PM +0200, Tomasz Zielonka wrote:

Cont (const ()) :: Cont () a -- from Control.Monad.Cont

whatever you do, you won't be able to extract an 'a' typed value, non-bottom from this computation.

Unless you substitute () for 'a', of course :-) Best regards Tomasz