Idris2Doc : comonad

Package comonad - Namespaces