> On Thu, Aug 3, 2017 at 2:28 AM Sylvain Henry <sylvain@haskus.fr> wrote:

> Hi,

>

> I also think we should do this but it has a lot of ramifications: contant folding in Core, codegen, TH, etc.

>

> Also it will break codes that use primitive types directly, so maybe it's worth a ghc proposal.

Ok, a short proposal sounds reasonable.