Hey all, Does anyone know of a good way to visualise ("graph") a type class hierarchy, including one with multiple-parameter type classes? The traditional "inherits from" arrows used in graphs of object-oriented classes doesn't deal very well with type classes. A simple case, such as: class Super a class Super a => Sub a instance Super SuperType instance Super SubType instance Sub SubType works fine, but once you get into situations such as: class SuperMulti a b class SubMulti a b c | a b -> c instance SuperMulti a Foo => SubMulti a Bar c I haven't found elegant ways of visualising this at all: how do you draw arrows from SuperMulti to SubMulti, for instance? Has anyone else had a go at this? -- % Andre Pang : trust.in.love.to.save