```unison:error
structural type Foo f
  = Foo (f ())
unique type Baz = Baz (Foo Bar)

unique type Bar 
  = Bar Baz
```