Jaro

I'd recommend opening an issue on the GHC bug tracker: https://gitlab.haskell.org/ghc/ghc/-/issues

Ah, great! I see you have also opened one on the GHC issue tracker now: https://gitlab.haskell.org/ghc/ghc/-/issues/23894

FWIW in 3.6 the `--lib` flag has been marked "provisional": https://github.com/haskell/cabal/pull/7354

To be honest, I expect every developer involved with GHC magic to immediately know that they forgot to enable `MagicHash` from that error message. The number of developers who intend...

I just want to try to prevent people who don't know what the `MagicHash` extension does from enabling it, because in that case it is probably not the right solution....

I would keep the general problem as the first line, maybe like this: ``` Not in scope: type constructor or class 'Just' A data constructor of that name is in...

I still like `compareLength` more because it is the concatenation of the two functions you would otherwise use: `compare (length xs) n`. I'd use `comparingLength` for the function that GHC...

> I will get back to you : ) Famous last words :)

I've just done a quick scan over the code. Now I'm stuck and it seems to me like it is impossible to remove `Skip` for monadic streams. Take for example...

> would having a flavor of monads that guarantee they respect tail calls, in a way ghc understands, solve that? That's exactly what I was thinking! I wonder what that...