John Ericson

@tribals I didn't event these requirements :). I'm just trying to swap up one markdown library for another one so I can (a) programmatically create docs (b) get windows support,...

Yeah busy day, but I'll get to those two things.

Related to this, I also have use for a `FlipC`: https://github.com/obsidiansystems/constraints-extras/pull/4/files#diff-5ed8f2541b375e8ecca027c7d55495bbR38 Mind if I add that too? And if so, what module?

Makes sense; no problem.

Oh but the second think proposed in the thread you linked is `Compose` exactly; and it also falls under the "avoid higher kinds" dictum.

1, 2: I'll clarify thanks. 3, 4: is the encapsulation problem a problem? It is true that via type classes downstream can rely on types being _un_equal, but an easy...

> The downside of this approach is that if you seal a dependency, you might end up sealing some other dependencies that you wanted to be left unsealed, because those...

Hmm I am reading this again 3 years later and I'm not sure what I was saying before, but I definitely agree with @kosmikus as I think does my old...

BTW there is also https://github.com/mesonbuild/meson/issues/6322, which isn't very related, but I think would be a good thing to agree on and do first to simplify things so there's less to...

#5792 is more directly related, and probably should be fixed with the rest of these rather than before.