MeasureProduct<MeasureInverse<m2>, MeasureProduct<N, MeasureOne>>
Pascal
Type something to start searching.