Idris2Doc : Control.Monad.Either

Control.Monad.Either