I hope I didn't miss it, but I think at the moment ADPfusion doesn't have a char parser which matches a given char (or element, to be more general). What I mean is this one from Haskell-ADP:
char' :: Eq a => Array Int a -> a -> Parser a
char' z c (i,j) = [c | i+1 == j, z!j == c]
Any chance of adding that?