Agda.Utils.Generics

isString

everythingBut

everywhereBut'

everywhereButM'