Agda.TypeChecking.Free
data
FreeVars
class
Free
a
freeVars
allVars
freeIn
freeInIgnoringSorts