type can recursively refer to itself
     --> tests/ui/parse-fail/cycle4.wai:2:6
      |
    2 | type foo = bar
      |      ^--