Idris2Doc : Data.DPair

Data.DPair