Applicative.2-AA
type 'a t
type 'a arbitrary
val make : 'a arbitrary -> 'a t arbitrary
val make_bound : 'a arbitrary -> 'a t arbitrary