Replace hacky @@ infix with principled use of <*> (fapply)
Prove that loops map to graphs and that graph labels are not significant