Hi Paul, > :- type maybe_error(E) > ---> ok > ; error(E). This type is isomorphic to maybe(E), eg. maybe(error), which is shorter and just as obvious, I think :) Cheers, Michael