[4, 4, 5]を(x: xs)でパターンマッチするとxに先頭要素4、xsに残りの要素[4, 5]が束縛される
あとcase式は使わずにトップダウンで定義を書き下したほうがいいと思うよ