Encrypted

data Enc a

mkEnc

overEnc

getEnc

withEnc