[bitc-dev] deeply immutable functions and Haskell's ST

[Richard Uhtenwoldt]

While I'm verifying my assumptions, I might as well verify this
one, too:

Cassie trusts diode-read and diode-write because she herself
wrote them.