Project of essay on fast linear algebra for the typelevel blog (http://typelevel.org/blog/)