An either-or-both data type, with corresponding hybrid error/writer monad transformer.
Primary LanguageHaskell