category of cartesian closed categories

Stream: Is there code for X?

[Chris Henson]

Is there an existing instance for the category of cartesian closed categories? I.e objects are ccc's, morphisms are (strict) cartesian closed functors