Pattern matching using [first | rest] in with clause seems to fail?

Did you just tell the guy who wrote it to look it up? :grinning_face_with_smiling_eyes: