Vladislav Zavialov

Whatever explanation we end up with for GHC-45510, the main ideas that need to be communicated are * only _out-of-scope_ type variables are implicitly quantified * with `RequiredTypeArguments`, all variables...

Hi, this looks interesting, but it's not clear to me why you want to avoid `!`

Thank you for explaining your use case. What about the type signature that `showDemoWindow` gets? With the `!`-based approach, the type would be ``` showDemoWindow :: "p_open" :? Ptr CUChar...

PRs: * https://github.com/serokell/universum/pull/299 * https://github.com/serokell/coffer/pull/136 * https://github.com/serokell/tzbot/pull/134 * https://github.com/serokell/tasty-hunit-compat/pull/5 * https://github.com/serokell/tztime/pull/5 * https://github.com/serokell/o-clock/pull/144 * https://github.com/serokell/nyan-interpolation/pull/30 * https://github.com/serokell/uncaught-exception/pull/4 * https://gitlab.com/ligolang/ligo/-/merge_requests/3293

Superseded by #304

Sadly, the terminology with regards to _terms_, _types_, _expressions_, _kinds_, _values_, etc, is all over the place in Haskell. The fundamental concepts at play do not cleanly map one-to-one with...

Superseded by #304

The proposed syntax looks perfectly fine to me. I can immediately understand what it means in this example, and it's also the first thing I would've tried myself if I...