From Haskell to a new structured combinator processor for graph reduction in har