You can already use list-style syntax sugar for pattern matching. The only thing you'd have to change in your example is to replace `[x:y]` with `[x, y]`. Sorry, what I meant is that I would like to have this easily implementable, so that you can implement it for your own ADTs. I do not believe that this is currently possible, though I would be
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 On 17/02/15 19:21, Gabriel Gonzalez wrote: thrilled to be proven otherwise. (I have made this point so many times on IRC that my brain permitted itself way too many shortcuts with my reply to this list -- apologies!) - -- Alexander alexander@plaimi.net https://secure.plaimi.net/~alexander -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iF4EAREIAAYFAlTjh0YACgkQRtClrXBQc7V81AD9G7Ga20dmG1AKwBVGsMkRt1iP uTApftW93UwiXI4LFdUA/iegcpQgpeO3MvMBkQj0mRRH61C/aLasZ6NDhKrfSMGV =1KkC -----END PGP SIGNATURE-----