Can monads be used to securely erase data

Links
1

I’ve always been interested in this question:
Can monads be used to securely erase data?
There is a link to a GitHub project on this topic:

I want to know what you think about this?

2

Well, I’m not sure where the “erasing data” part is supposed to come in? This all just seems like Const () with the corresponding (trivial) instances for a few classes? So I don’t really understand the aim of this repository.

2 Likes
3

Thank you for your attention and time.
But I can’t answer for the author about the purpose of his project,
so it’s better to ask him in writing (e-mail address is provided).
I can only guess.