Removed an implicit.

Scala was warning about ambiguous implicits, even though `m` and `DimIdMonad` were actually the same value.
Make warnings fatal.