idempotent monad

Last updated Nov 12, 2024