The potential of advanced type systems and higher level abstractions in visual programming has barely been explored yet. In particular, exploring the possibilities of interactive visual programming in combination with functional languages like Haskell.