th-typegraph

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.