Haskell では [1,2,3] は 1:2:3:[] の糖衣構文だと学びました。

import Data.List
isPrefixOf (1:[]) (1:2:3:[])
-- True

ですが厳密には1:[]はprefixになっていないと思えます。
1:[]:2:3:[] であれば確かにprefixと言えそうですがこれは[1:2:3]を解釈したものではないということをどう考えるべきですか？
実装か関数の説明、のリストの糖衣構文のどれかが正確ではないと思うのですが。