j
k
j a
j l
Dan,
If you want to enforce associativity just create your own Eq instance and make it a pattern there.
Could you elaborate on that? It's still early here and I've had only one cup of of coffee yet. Cheers, Stefan
Back to the thread
Back to the list