Observations

Just figured out that the fact that I combinator is expressible via K and S is just another aspect of a monadic law that unit combined with flattening is identity. Since K is unit, and S is flatten. Kind of.