@hackage these0.2

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