What you're describing can easily be done by making a module that re-exports four functions from another module and implements the fifth itself (in haskell, anyway).