Good start.
I have updated the page to separate the source-language design (what the programmer sees) from the implementation.
And I have included boxed sums as well – it would be deeply strange not to do so.
Looks good to me!
Simon
From: Johan Tibell [mailto:johan.tibell@gmail.com]
Sent: 01 September 2015 18:24
To: Simon Peyton Jones; Simon Marlow; Ryan Newton
Cc: ghc-devs@haskell.org
Subject: RFC: Unpacking sum types
I have a draft design for unpacking sum types that I'd like some feedback on. In particular feedback both on:
* the writing and clarity of the proposal and
* the proposal itself.
-- Johan