{-|
Arbitrary typeclass for generating random values for testing.

Exports: Type, sample.
-}
let Arbitrary
    : Type -> Type
    = ./Type.dhall

let sample
    : forall (A : Type) -> Arbitrary A -> Natural -> List A
    = ./sample.dhall

in  { Type = Arbitrary, sample }