Begin refining interface to Haskell