Agda.Utils.List
mhead
type Prefix a
type Suffix a
maybePrefixMatch
wordsBy
chop
holes
distinct
fastDistinct
prop_distinct_fastDistinct
allEqual
groupBy'
prop_groupBy'
groupOn
extractNthElement'
extractNthElement
prop_extractNthElement
genericElemIndex
prop_genericElemIndex
tests