It's a pleasurable and informative read. The nature of algebraic effect was accurately and concisely pointed out. This has been one of the best write-up on algebraic effects implementation in Rust I've read so far.

Quick explainer for ZFS caching mechanisms: ARC, L2ARC, TXG, ZIL, and SLOG.