単純代入や単純束縛だと変数名が確定しているから変数名が先に来るのもわかる
しかしパターンマッチングが主流の現代だと値はマッチング前に既に確定しているが
複数のパターンが並んでいてその中に変数が0個～複数個と各々で存在しどの変数がマッチするか実行まで決まらない
すると順に「値を」「(各々の)変数に」「束縛(成功または失敗)」というイメージが正解っぽくみえる