testsuite/compiler/check/cyclic/params/TestParams.gf:
   circular definitions: A B