add infixr when define type