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