shuffling
univariant category theory test, no contravariance