data Parser i a

type family State i

type Failure i t r

type Success i t a r

data Pos

data IResult i r

data More

(<>)

class Chunk c