04:30 <discocaml> <Nezteb> Not super sure where to post this, but when I try to sign into https://reasonml.chat/ with GitHub, I approve the OAuth connection but get this error message every time. It happens in both Brave and Chrome. 🤔

04:30 <discocaml> <Nezteb> https://cdn.discordapp.com/attachments/436568060288172044/1087956551450492948/Screenshot_2023-03-21_at_9.30.09_PM.png

04:55 <discocaml> <hopefullyhat> link?

05:32 <discocaml> <anmonteiro> cc @Manas (prometheansacrifice)

05:51 <discocaml> <darrenldl> <https://discuss.ocaml.org/t/what-are-the-biggest-reasons-newcomers-give-up-on-ocaml/10958>

10:02 <discocaml> <octachron> @beheddard : since the first partial application could have a effect, it is wrong in general to reject it. You could reverse the first and second argument to impose the constraint that the spatial type is compatible with an existing instance of `t`. All other workaround would be similar I think (aka having a first proof-only argument that enforces that the spatial type is meaningful).