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

Thanks,

Richard