Comment by dpc_pw

I'm not a Haskeler, but didn't they add affine/linear types recently that could help?