The type graph is big because all functions are subtypes of the function type. If you remove the function type and its subtypes, the graph becomes far more reasonable to display.
The type graph is big because all functions are subtypes of the function type. If you remove the function type and its subtypes, the graph becomes far more reasonable to display.