Jaro

It might be good to consider prior art: * [Monadic stream functions from `dunai`](https://hackage.haskell.org/package/dunai-0.9.1/docs/src/Data.MonadicStreamFunction.InternalCore.html#MSF) ```haskell data MSF m a b = MSF { unMSF :: a -> m (b, MSF...

There is a paper about principled indentation parsing for LR parsers: https://michaeldadams.org/papers/layout_parsing/, and one for Parsec: https://michaeldadams.org/papers/layout_parsing_2/.

> I would be super-duper cool if we could have something where, when there are multiple instances, the user could click on one and then get this information for that...

Now I'm running into issues with ambiguous type variables myself. I am using the `x86-64bit` library and get this error message: ``` ghci> movq (MemOp (Addr (Just rbp) (Just (-8))...

Sensible. I'd say you can immediately [open a GHC issue](https://gitlab.haskell.org/ghc/ghc/-/issues/new) about this. There's not really much to debate.

I think there is a second problem unrelated to compiler termination, namely that instances of the form `instance C a` preclude other non-overlapping instances. For a class like `Ord` as...

> Compile errors aren’t errors! Most of them are plain outputs with needlessly stern wording. I would like to see concrete examples of this and suggestions for better wording. Adrian...

Module headers need to be near the top, right below the pragmas. Module headers can't go below imports or top-level bindings. Similarly imports can't go below top-level bindings and they...

One challenge is that this could would compile correctly if you added some definitions above it: ```haskell import Preluding hiding (.) data A = () :< () (.) :: a...

Is it technically required for an instance to define what it means to truncate? I can imagine that the polymorphism makes documentation hard. But I guess it should be fine...