Add infix type class example