Title: Programs As Diagrams