@type interface Interface<|#x> { }

concrete Type<|#x> {
  #x defines Interface<#x>
}