QuickCheck instances for Host