Something that works
Version with Raw and Ecrypted

We have to pass the key as a parameter for store
The program type checks
The program type checks - source cleaning
KeyMker
Concrete example with Path-dependent type