Test.LeanCheck.Utils.Types
data Int1
data Int2
data Int3
data Int4
data Word1
data Word2
data Word3
data Word4
data Nat
data Nat1
data Nat2
data Nat3
data Nat4
data Nat5
data Nat6
data Nat7
type UInt1
type UInt2
type UInt3
type UInt4
data X a
data NoDup a
data Bag a
data Set a