From Haskell to a New Structured Combinator Processor