Language.Haskell.TH.TypeGraph.Arity

Function to compute the arity or kind of a Type, the number of type parameters that need to be applied to get a concrete type.

Documentation

typeArity :: Quasi m => Type -> m Int

Compute the arity of a type - the number of type parameters that must be applied to it in order to obtain a concrete type. I'm not quite sure I understand the relationship between this and freeTypeVars.