>>601
入力を消費(parseByte)しつつ、Functor 型クラスのインスタンスの
Parseの値部分 [Word8]に
f <$> (== fmap f) の f (ここでは (b:) :: [a] -> [a]) を適用

act :: [a] -> [a]
act xs = case xs of -- fmap p <$> peekByte の結果
　　(b:bs) -> (b:) $ act bs -- Just True の間
　　[] -> [] -- Just True 以外になった時

ghci> act ['a','b','c']
"abc" -- ('a':) $ ('b':) $ ('c':) $ []
と同様ではないでしょうか