QuickCheck instances for various types in the Cλash prelude