Dear Gergo, Thank you for your prompt reply. Now the ordering makes sense. To be honest, I still find it a little confusing even after knowing that the order is logical, but maybe it is just a matter of getting used to it.
Also thank you for the clarification that higher-order pattern functions are outside the scope of the current work. Now I am curious about if/how higher-order pattern functions are useful, how their types can be described, and so on. If they have any applications, they may be a candidate for future work. Best regards, Tsuyoshi _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
