scalacheck, a lot of wrapping, intersections