Use instance (a ~ Word32, b ~ Word32) => Field1 Key Key a b as per my new FP complete post:

* https://www.fpcomplete.com/user/edwardk/revisiting-matrix-multiplication-part-1
Merge branch 'master' of github.com:ekmett/sparse