Issue type:

Only keep the issue types that are applicable.

• ➕ Feature request

We should add the K combinator from lambda calculus (K = λxy.x).

@josephcsible Small note: Make sure to add a clear description for this operator though, either in the tooltip or the book. Because most people probably won't be able to understand this with just the lambda form.

I don't think I'm going to do this until #352 or #387 are fixed.

K = apply if true

Could help, maybe you need some casts...

The second and third arguments to "if" have to be the same type, though. (Although this is something I've wanted to change.)

Yeah, add some casts or "useless" calculations to get the desired type.