j
k
j a
j l
I believe you can do this with GADTs [1]
I can create different constructors for the different types. but how can I create a function which return different type ? Fred
Back to the thread
Back to the list