@value interface Type1<#x|> { }

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