j
k
j a
j l
data T = D
I wrote:
T is called a type constructor and is called a *data* constructor.
and obviously meant: ... and D is called a *data* constructor.
Back to the thread
Back to the list