Implementations for `Store` and `Cast`