Двоичный синтаксический анализ Haskell

Я пытался реализовать анализатор протокола в haskell, и я новичок в этом языке, особенно когда дело касается монады. Я использовал binary-0.5.0.2 и описал заголовок и все полезные данные моего протокола. сообщения, которые я хотел бы проанализировать, выглядят примерно так: заголовок + (полезная нагрузка A, полезная нагрузка B, .. ), где поле в заголовке указывает, какой тип полезной нагрузки имеет сообщение.

Мне удалось проанализировать первое сообщение в строке байтов, но я не понимаю, как читать следующие сообщения, отбрасывая байты которые были прочитаны при обработке первого сообщения.

Это может быть довольно расплывчато, но я бы предпочел получить ввод с помощью обобщенного синтаксического анализатора, чем изменять свой уродливый код для работы таким образом.

Спасибо за помощь