[wyager]

That is more elegant! But do you think they're functionally more or less equivalent?

[catnaroek]

Assuming you don't mind plumbing value-level proxies all over the place, it's indeed functionally equivalent.