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