ixset-typed-binary-instance