@value interface Type0 {}

@value interface Type1<#x> {
  #x requires Type0
}

concrete Type<x> {
  @value something (Type1<#x>) -> ()
}