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