ArbitraryInstances
discipline
a
Left
arbitrary
discipline