A new interface for the standard library of Haskell relying on type classes.