I noticed that the following type declarations don't parse:
data Tree a = Tree a [Tree a]
data Point = Point (Number, Number)
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:
data Tree a = Tree a (List (Tree a))
However, I can't find any such synonym in the docs or examples.
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.