Yes you are: s-expressions, i.e. code and data are represented the same way, which makes it easier for programs to manipulate code. A language could be created

Yes you are: s-expressions, i.e. code and data are represented the same way, which makes it easier for programs to manipulate code. A language could be created that combines the type system of Haskell with the syntax of Lisp. You would trade away a bit of the human readability that the Haskell/ML syntax gives you. Also, as you have probably seen in other discussions, some people believe dynamic typing gives them more flexibility and power, and they find the Haskell type system frustrating. My perception is that it takes a lot of discipline and deep understanding to make Haskell work, and that's not for everyone, but I won't argue that it's not worth the trouble. I think you will always find some people who prefer discipline and others who prefer flexibility. Each approach has its advantages and difficulties.