but my point was moving it to denotation while keeping the same interface for `get`