Attempt at running QuickCheck over a universe