Can monads be used to securely erase data

Hackage

acme-all-monad

A monad which is powerful enough to interpret any action

This is a joke, but the same datatype.