Agda.TypeChecking.Free
data FreeVars
class Free a