concrete Child<#x|#y> {
  refines Parent<#x, #y>
}