Loading cyclic.disco...
While checking cyclic.A:
  Error: cyclic type definition for A.
  https://disco-lang.readthedocs.io/en/latest/reference/cyc-ty.html
