What would distinguish this from existing statically typed, pure, and lazy functional languages such as Haskell?