An abstract description method of Map-Reduce-Merge using Haskell