Haskellにおけるパターンマッチの動作

Question

data Data = Data Int

d :: Data 
d = Data 1

func :: Data -> Bool
func (Data 1) = True
func (Data _) = False

data Data = Data Int

d :: Data 
d = Data 1

func :: Data -> Bool
func d = True
func (Data _) = False

最初のコードだと期待通りの動作をしますが、２番目だと期待通りに動きません。
どうにかなりませんか？

Answer 1

パターンの部分は式ではないので、束縛している値を使うことはできません。文法的には d は変数パターンとなるので、パターンマッチは常に成功します。

1. Matching the pattern var against a value v always succeeds and binds var to v.

https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-580003.17

PatternSynonyms 拡張を使えば、パターンに仮名を付けることはできます。

{-# LANGUAGE PatternSynonyms #-}
data Data = Data Int

pattern D <- Data 1

func :: Data -> Bool
func D = True
func (Data _) = False

main = do
  print $ func $ Data 0

Answer 2

こんにちは。
何が「期待通り」なのか書かれていないのと、「どうにかなる」とはどうなってほしいのかが全然わからないですが。

パターンマッチは上から順にマッチングを行い、マッチしたものに入るので、
最初のコードでは「Dataを分解し、中身が1であるもの」「Dataを分解し、中身がそれ以外であるもの」の順でマッチします。
2番目のコードでは、1つ目のパターンが「Dataを分解せず、それ自体にマッチ」となるので、何を渡してもTrueを返します。
そうなるように書いているからそうなるということです。