Linear algebra: Added ad-hoc Type monad