TermArbitrary

SpireArbitrary

trilean

SpireArbitrary