picomonad --------- the tiniest monads! explanation in https://text.marvinborner.de/2024-11-18-00.html see more samples in samples/