effectful copy-discard do-notation