Once Upon a Polymorphic Type (1998)

by Keith Wansbrough, Simon Peyton Jones