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