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