Agda implementation of what aims to model the behaviour of Haskell's Attoparsec library.