Elm could do this, and it would also benefit from a graph editor that knew about the types