Convenience for introducing a symmetric Get/Put pair into implicit scope, and for deriving
new symmetric pairs. It's important to understand that Meta should never be demanded by user
methods; instead demand both Get and Put. The reason for this is that while Meta implies
Get and Put, the presence of both Get and Put does *not* imply Meta.
Convenience for introducing a symmetric
Get
/Put
pair into implicit scope, and for deriving new symmetric pairs. It's important to understand thatMeta
should never be demanded by user methods; instead demand bothGet
andPut
. The reason for this is that whileMeta
impliesGet
andPut
, the presence of bothGet
andPut
does *not* implyMeta
.