Idris2Doc : Control.Monad.Algebra

Control.Monad.Algebra