Start working on haskell spec impl.