Mitchell Dalvi Rosen

Note that `InstanceSigs` + `ScopedTypeVariables` is a bit unintuitive, because the type variables in the class are already scoped over the entire definition. For example, ```haskell class Foo a where...

@goldfirere I guess I meant it's a little bit inconsistent, as in, one might expect they'd have to write ```haskell instance forall a. What a => Foo a where ```...

@goldfirere Regarding your second point about not needing `ScopedTypeVariables`, it's true! (Unless I'm missing something). This compiles fine: ```haskell class What a where what :: a instance What (Maybe a)...

Err, except that by my logic, this should be a type error, but it isn't: ```haskell class What a where what :: a instance What (Maybe a) where what ::...

Ok, @goldfirere is correct that you need `ScopedTypeVariables` if you want to refer to type variables in the instance head or in polymorphic typeclass functions, so there's actually no strange...

looking through the `IO.concurrent` namespace in `@unison/base`, it appears we have inherited or implemented GHC's asynchronous exception mechanism. So, any Unison IO action can raise an exception, even if it...

Ah, I see – which operation is that?

@ocharles Do you think this issue was "resolved" by the potential for better thread introspection utils in GHC? I'm happy to leave it open for more discussion, if not.

Update to the autocommand in https://github.com/neovim/neovim/issues/16339#issuecomment-1457394370: I think you'll generally get better results if you replace ```lua vim.api.nvim_feedkeys([[g`"]], 'x', false) ``` with ```lua vim.api.nvim_feedkeys([[g`"]], 'nx', false) ``` The `n` means...

Hrm... I think if either plugin has to know about each other, that's probably worse than doing nothing in leap, for now - assuming the issue will be addressed in...