fix type instance conflict#3

GuillaumedeVolpiano wants to merge 1 commit intoShou:masterShou/type-operators:masterfrom

GuillaumedeVolpiano:masterGuillaumedeVolpiano/type-operators:masterCopy head branch name to clipboard