Cartesian-closed_category loading ...