[adamwk]

I don’t think this implements anything monad shaped

[codebje]

Async is monad shaped. Not-async is monad-shaped, for a degenerate monad. Writing a function that works in both async and not-async contexts just means writing a function that works for any monad.