Key(key: K)
Wrapper for a single key -- can be used as distinguishable type for an overload where K is already in use.