On Wed, Apr 30, 2014 at 5:22 PM, Adam Gundry <adam@well-typed.com> wrote:

If possible, I'd prefer to merge the existing patches more or less as
is, then I can work on the library design without continually needing to
fix merge conflicts.

Agreed. We should try to get the patches in sooner rather than later to avoid extra work for you and allow people to try the feature.