Monadic asynchronous control flow library