Infix instantiation