remove K-combinator, no longer in use