gnumonik

Hi, I agree that the implementation is frustrating and roundabout. I'd been playing with versions that use unsafeCoerce in roughly the way your version does before coming up with the...

I had a burst of inspiration today and managed to get everything working with the "stronger" version of Forall defined in terms of ForallX a la my last comment. Here's...

I just couldn't step away from this. Turns out BiForall is easy (relatively speaking...): ``` haskell -- would go in Data.Row.Internal class (HasType l t1 r1, HasType l t2 r2,...

@dwincort No worries about taking a while to respond. Sorry to pile one more thing on (but I'll definitely forget if I don't mention it now): Why isn't the type...