@value interface Base1 {}

@type interface Base2 {}

concrete Type<#x|#y|#z> {
  @type call
    #x allows Base1
    #y requires Base1
    #z defines Base2
  (#x,#y) -> (#y,#z)
}