Categorical composition!

set() is not necessary here