A modular prelude for Haskell