@value interface Type<#x|#y|#x> {}