Idris2Doc : Data.Telescope

Data.Telescope