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.
Homepage Repository Hackage Haskell Download
cabal install th-typegraph-0.25