This analysis analyzes the higher-order status of type constructors, i.e., it shows whether some constructor of a type constructor has functional arguments.