@value interface Type1<#x|> { }

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