"Composing bidirectional programs monadically (PDF)"^^ . . . . .