Add Haskell expression for machines