Monadic function chaining around asynchronously-fulfilled values. [Part of the Local project]