Types
.
Mono
.
Arbitrary