There is another option …to add another implementation of

Gen

…something like:

sealed class Gen
abstract class Arbitrary
abstract class Progression
abstract class AndThen(g1: Gen, g2: Gen)

I just thought as well we'd need another class for merge and another for zip and so on.