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