Egison
パターンコンストラクタだけでなく、値の同値性をチェックする値パターンも多相性を持っている。