Haskell optimisation tool based on supercompilation