Control.Monad.Invert
Data.Neither