Tests for combinators and subclassing