Generic.Random.Generic

genericArbitrary

genericArbitraryFrequency

genericArbitraryFrequency'

genericArbitrary'

data Nat

type BaseCases' n a

class BaseCases n f