Christian Despres

Is that instance unnecessarily restrictive? I would have thought that ```haskell instance (MonadError e1 f, MonadError e2 g) => MonadError (e1, e2) (Product f g) where ``` would work as...

Something like ```haskell newtype Attribute = Attribute (Text, [Text], [(Text, Text)]) instance Walkable Attribute Pandoc where -- etc. ``` perhaps, so that this could be done without changing the `Attr`...

Actually, if `Formats` is going to be used in an `IfFormatBlock` or an `IfFormatInline` element, then the Boolean operations and `match` should probably be written slightly differently (the super-format strategy...

I updated the request. Now the idea is that if a writer for a concrete format `f` like `Html5` encounters an `IfFormatBlock p content` (once that block exists), it will...

That should be handled to some extent, if I understand correctly. Right now `listSubformats x` will give a `Formats` set of all the formats that `x` can be directly included...

Oh, if you meant that `Format` includes more things than there are readers and writers individually, then yes, separate types could work there.

I understand now. It is a little awkward that this can't express things like `markdown+old_dashes`. The types here could be broadened to include that, but things would start to get...

(2) should also be fine as an alternative to what's done in this request, since it's nearly what's done now, unless preserving users' ability to use those variant `markdown` names...

If that were the case, then there would certainly need to be a couple of types for enumerating the reader and writer formats. There could even be a total `ReaderFormat...

Sorry, it stores an identifier in it, not raw HTML.