Matrix math in Idris