// parse-fail
type foo = bar
type bar = option<foo>