monadfix

I’ve been playing around with stuff, and I think I’ve come up with something… interesting. I call it the “Seer” monad, and it provides (aside from Monad operations) two primitive operations: see :: Monoid s => Seer s s send :: Monoid s => s -> Seer s () and a run operation: runSeer :: … Read more