Agda.Utils.Generics
isString
everythingBut
everywhereBut'
everywhereButM'