Agda.TypeChecking.Patterns.Abstract
expandLitPattern
class
ExpandPatternSynonyms
a