Arrow-like / category-like composition for transformers.