You know, I bet it was something to do with `memorializeUser` again (see https://www.columbia.edu/~ng2573/zuggybuggy_is_2scale4ios.pd... slide 46). In fact I would go so far as to say this is the kind of thing that should be encoded in the type system so it's a compile error to try to do this.