@hackage th-typegraph0.24

Graph of the subtype relation

Build a graph whose nodes are Types and whose edges represent the subtype relation: Char is a subtype of Maybe Char, Int is a subtype of (Int, Double), and so on.