ArbitraryInstances

discipline

arbIllegalDisjunction

ArbitraryInstances

arbIllegalMaybe

ArbitraryInstances

arbLegalDisjunction

ArbitraryInstances

arbLegalMaybe

ArbitraryInstances

arbitrary

discipline