A visualisation of polymorphic type checking. - Yang Jung; Greg Michaelson (J. Funct. Program., 2000)