>> Secondly, the initDb action is sensitive to the order actions are
>> sequenced.
>
>
> Do you mean with respect to other initDb actions?
> Why is this? I thought you were using QuickCheck in order not to assume things about the state of the DB and that the necessary state is prepared solely by running the initDb action. Is this not the case then?
>

The initDb action is sensitive to the order in which *it* sequences things. With fk constraints there is a dependecy tree which must be respected.

At least that's what I understood.