On Monday, 13 July 2015 at 11:36:48 UTC, Jack Applegame wrote: > Yes, that is I intended. > It is a pretty useless example, just for demonstrating the lack > of support polymorphic recursive data types. So the point is that we should add feature to the language to support useless use cases ?