Important note: The code base for this paper has evolved over the years and is available and maintained at http://code.haskell.org/OOHaskell/. The paper has evolved since its last public release in Sep 2005, but we have not completed any revision we would like to share. Authors Oleg Kiselyov and Ralf Lämmel Abstract Haskell provides type-class-bounded and parametric polymorphism as opposed to subt