1 2 3 4 5
type can recursively refer to itself --> tests/ui/parse-fail/cycle.wai:2:6 | 2 | type foo = foo | ^--