PhilGoetz comments on Imperative Categories?