The Wikipedia article https://en.m.wikipedia.org/wiki/Lambda_cube is difficult to assimilate. I think examples (code snippets) that demonstrate each refinement might help clarify. For instance, a generic List in C# would demonstrate types based on types (I think). What are examples of the other axes? Are there meaningful yet succinct examples of combinations of multiple refinements, say the whole "calculus of constructions" in one snippet?