left_closed_monoidal_category