Monoidal_natural_transformation loading ...