Oh, I didn't realize that the type had already been generalized in tagged! [1]

I'm certainly +1 on this proposal.