@value interface Type1<#x|> {}

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