// parse-fail
type foo = bar
type bar = pull-buffer<foo>