refactor: use do-notation rather than `thenBc`-style