Idris2Doc : effect

Package effect - Namespaces