type
  A = B
  B = A (* @Error Type declaration forms a cycle: A -> B -> A *)
end.