Language.Haskell.TH.TypeGraph.Free
freeTypeVars
typeArity