Using Kleilsi arrows for composition in the example