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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
