concrete Type<#x|#y|#x> { }