On Jul 5, 2019, at 12:04 PM, Richard Eisenberg <rae@richarde.dev> wrote:

Hi all,

I have made my recommendation for #232 here: https://github.com/ghc-proposals/ghc-proposals/pull/232#issuecomment-508803496

Thanks,

Richard