bunch of writing about monoidal closed structure