j
k
j a
j l
All we really need is a 'unique value monad' to give us unique values
This sounds a lot like Clean's unique-types? Keean.
Back to the thread
Back to the list
