writing about generalized composition and cartesian closed structure