Higher-order type analysis
--------------------------

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