@value interface Type1<#x|> {}

@type interface Type2<|#x> {
  something () -> (Type1<#x>)
}