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