define Type {
  types<#x,#y,#z> {}
}