Component of some natural transfromation in Arrow category:
To run it you need to provide some label first, for example: Adapt.