> I noticed that the Typed Lua paper doesn't mention depth subtyping in > its examples. Are there plans to add this? No plans for adding depth subtyping yet, but I will take your suggestion into consideration. André