Exploratory new work on a Haskell Lisp