Idris2Doc : eff

Package eff - Namespaces