Thu, 21 Feb 2002 19:36:13 -0800, Ashley Yakeley pisze:

data ContMonad p a = MkContMonad ((a -> p) -> p);

[...] It's in GHC in module MonadCont, together with a monad transformer providing continuations and some instances. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ QRCZAK