SMLでは、パターンのエイリアスを定義できますか？

Question

私は書くことができるようにのは、パターンFoo|Barのエイリアスを作成する方法はあります私は

datatype mytype = Foo | Bar | Baz 

を、以下のデータ型を持っているし、次の

fun myfun ((Foo|Bar), (Foo|Bar)) = something 
| myfun (Baz, _) = somethingelse 
| ... 

のような関数を書きたいとしましょう一度それを繰り返し、自分自身を繰り返すことを避ける？

Answer 1

答えは「いいえ」ですが、残念です。 「抽象的なパターン」や「ビュー」の概念は何度も提案されていますが、難しい空間であり、これまでにOcamlやHaskellのような他の言語にも当てはまる提案はありませんでした。