use a coend based form of Compose where we can, so we can make Ran be
its curried form