I have a configurable function that works on values that implement
Generic class. I need to check it against several values, with several configurations. My first idea was to use the Array monad to obtain a Cartesian product of the set of values and the set of configurations. But the values must belong to a range of types in order for the test suite to be comprehensive. So how can I put my values, being of different types, into an array?
data Wrapped = forall α. Generic α ⇒ Wrapped α, but it does require a few language extensions. I tried going this way in PureScript and it does not even parse. Is there a way to make it work?