Define an "is" combinator