identity package:linear

identity :: (Num a, Traversable t, Applicative t) => t (t a)
linear Linear.Matrix
The identity matrix for any dimension vector. 
>>> identity :: M44 Int
V4 (V4 1 0 0 0) (V4 0 1 0 0) (V4 0 0 1 0) (V4 0 0 0 1)

>>> identity :: V3 (V3 Int)
V3 (V3 1 0 0) (V3 0 1 0) (V3 0 0 1)