A GenF knows how to construct a generator of F[A] values given a
generator of A values for any A. For example, a GenF of List values
knows how to generate lists with elements given a generator of elements of
that type. You can think of GenF as a "recipe" for building generators for
parameterized types.
A
GenF
knows how to construct a generator ofF[A]
values given a generator ofA
values for anyA
. For example, aGenF
ofList
values knows how to generate lists with elements given a generator of elements of that type. You can think ofGenF
as a "recipe" for building generators for parameterized types.