On Mon, 20 Feb 2006, Robert Dockins wrote: > I personally disagree with your preference for custom datatypes with a value > representing failure to lifting types with Maybe. I understood that part of the guidelines as a pleading for Maybe.