Like [MVar.modifyMVar](https://hackage.haskell.org/package/base-4.12.0.0/docs/Control-Concurrent-MVar.html#v:modifyMVar): `modifyAVar :: AVar a -> (a -> Effect (Tuple a b)) -> Effect b`