Function monoOrder

The order used for vitest.testTypeclassLaws.