This notion that procedural programs largely admit a declarative interpretation also shows up in simon peyton Jones’s verse effort