effectful copy-discard do-notation

Last updated Mar 28, 2024