[Haskell-cafe] A free monad theorem?

[Tomasz Zielonka]

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