safe-money-store-0.1: Instances from the store library for the safe-money library.