Haskell & Clean

Michael Hartwig jua@informatik.uni-leipzig.de
Mon, 31 Jan 2000 18:12:44 +0100


Zuurbier, E. - AMSXE wrote:
> ... Uniqueness-types can do all that Monads can do, but not the
> other way around.
Why not? Are there concrete examples, that are dificult to transform?

Regards
jua