Idris2Doc : Data.List.Lazy.Quantifiers

Data.List.Lazy.Quantifiers

WIP: same as Data.List.Quantifiers but for lazy lists