The mac package

The MAC library implements Mandatory Access Control concepts in
Haskell. It leverages Haskell type-system to restrict how data gets
propagated within programs and ensures that sensitive data cannot be
leaked by malicious or buggy code. The library enables untrusted code,
i.e., code written by someone else, to securely manipulate sensitive
data while preserving its confidentiality.