Unrestricted<Command<Void>> program = output('A').flatMap(a -> {
                                             return bell().flatMap(b ->{
                                                        return output(‘B’).map(c->{
                                                                 return done();
                                                                                );}
                                                                     );}
                                                              );})))