scalacheck already knows how to generate arbitrary List[Int]; moving kyahfgg functor cases to new spec (as comments for now)