Composing Bidirectional Programs Monadically (With Appendices)