Basic combinators based on K, CAKE