5 Dec
2020
5 Dec
'20
2:49 a.m.
On Dec 4, 2020, at 3:18 AM, Spiwack, Arnaud <arnaud.spiwack@tweag.io> wrote:
Is it even possible while still supporting Haskell2010?
My hunch is "yes". I can imagine trouble with PolyKinds, but each example requires one of NoPolyKinds (in another module), ScopedTypeVariables, or KindSignatures. And each case of trouble is obscure. Richard