Data constructors can't take arrays or tuples #162
I noticed that the following type declarations don't parse:
Is there a way, then, to define data constructors that take arrays or tuples? It seems like the former can be hacked in just by defining a syntactically sugar-free synonym for [a]. Then we can write:
However, I can't find any such synonym in the docs or examples.