Use a proper parser monad for decoding

[Lysxia]

This makes it possible to use a more efficient parser under the hood.

I'll also parameterize encoding by a monoid.