Meta:
I'm trying to create a basic List type using Algebraic, but the compiler keeps complaining about recursive aliasing.
As stated in its docs, Algebraic is not yet finished and good for recursive data structures. But here I have put an usage example of that kind:
http://rosettacode.org/wiki/Flatten_a_list#With_an_Algebraic_Data_Type Bye, bearophile
