Encrypted

data Enc a

withEnc

overEnc

getEnc

mkEnc