Agda.TypeChecking.Test.Generators
data TermFreqs
data NameFreqs
data SortFreqs
class GenC a
data YesType a
data NoType a
data VarName
data DefName
data ConName
data SizedList a
class ShrinkC a b
class KillVar a