John MacFarlane

Yes, I'm definitely open to it! I haven't really worked with free monads, so I'll have to see what it looks like in the end before deciding whether to include...

One question is how this will handle extensibility. The way we do extensions, each extension can define additional typeclasses. Can you handle extensions that introduce new types of block or...

> In my intended use-case, extensibility doesn't seem to be a blocker It would be a blocker, though, for inclusion in this library. Note: for your purposes, it might also...

Commit dd78a3ef228b2fd97860e07d77c22cc4296efa70 should help. We can now analyze the Tok contents of matched brackets. [EDIT: this commit was reverted.]

OK, commit d5dfa2182f40fb6e52bcce771036d1db0ba5aac8 should help, at least for bracketed citations.

This is an issue for jgm/commonmark-hs (commonmark-extensions), if anything. I can transfer it there. But personally, I think the current behavior is fine. With the change you recommend, `{x=3}` would...

Can you link to documentation proving that `/` is allowed? https://www.w3.org/TR/CSS21/grammar.html#scanner suggests it isn't (without escaping anyway). Note ``` class : '.' IDENT ident -?{nmstart}{nmchar}* nmstart [_a-z]|{nonascii}|{escape} nmchar [_a-z0-9-]|{nonascii}|{escape} ```

Tailwind has the following example: ``` ``` Is the idea that tailwind compiles this HTML down to HTML that contains only valid class names? Note: you can already do this:...

`Rangeable` is needed because we add source position information. If you don't need this, you can define a trivial instance for your type: `ranged _ x = x`. If you...

In principle, yes: but it's not trivial. You'd often need to add a Show constraint to a whole chain of definitions just so you can put a `trace` in.