Matthias Heinzel

SFU, as MCUs don't work well with end-to-end encryption. We're hoping to make this work using [WebRTC Insertable Streams](https://webrtchacks.com/true-end-to-end-encryption-with-webrtc-insertable-streams/) once they [stabilize](https://www.chromestatus.com/feature/6321945865879552).

I think the type equality operator (`==`) chokes on the type variable. ``` ghci> type family CheckEqual a b :: Constraint where { CheckEqual a b = If (a ==...

Ah, yeah, not the best example. But it can be adapted to be closer to the original issue (having the same type variable on both sides), still showing the same...

Yes, propagating the constraint up is a decent workaround.

It was fixed upstream in Idris-lang/Idris-dev#3869 (but will of course take some time to become part of a release), so this can be closed.

You might have already considered it, but you can at least avoid the line break between the function arguments using a `$` there: ```haskell a2 = x "asdf" $ [...

Yes, depending on your hlint configuration (I personally usually disable it).

Yeah, I'm also not sure anymore if this is better than the current behaviour in general. I feel like on one hand it's making things worse if there are few...

I'd like to work on this. @alex-mckenna already gave me some pointers for where to look and how to write a test case for it. For reference, we were also...