lack of let generalization, plus a dash of deadcode was the leading culprit in the DirectSparse builder not typechecking.
Dead code in very type inference heavy settings leads to VERY large confusing type errors
versions of Freeze and Thaw for Buffer/MBuffer that have nicely strong Injectivity guarantees.
Normal Vector approach to representations is too weak to get nice freeze and thaw with injectvity
drop 7.6 ghc suport associated base range support
allegedly working CSR matrix format builder. As yet untested, but likely correct. The Prefix computations might need a close audit though