I'm completely ignorant on this, but I'm wondering if there could be a strict superset of haskell or other pure functional language that is inherently visual. It seems this is what lambdu is, but it would definitely benefit the language to have it compile down to some readable functional code whenever needed.