Are there any plans for adding compile-time checking or recursive data types to std.variant's Algebraic? I think algebraic data types are important and the current implementation is not suitable to solve a good portion of problems that the intended implementation could.
Could this be a possible goal for 2.065? If not, are we lacking demand? Lacking someone willing to work on it?