Matrix-matrix multiplication, from less conventional points of view
okmij.org