concrete Type<#x> {
  #x requires Type<#x>
}