ArbitraryInstances

discipline

arbDisjunction

ArbitraryInstances

arbIllegalDisjunction

ArbitraryInstances

arbIllegalMaybe

ArbitraryInstances

arbLegalDisjunction

ArbitraryInstances

arbLegalMaybe

ArbitraryInstances

arbMaybe

ArbitraryInstances

arbitrary

discipline