* add reference (traced monoidal closed category)