Haskell for Microprocessor Specifications