Fix inner `final case class` warnings.
Removed an implicit.

Scala was warning about ambiguous implicits, even though `m` and `DimIdMonad` were actually the same value.
Make warnings fatal.
Merge pull request #81 from sellout/minor-fixes

Fix inner `final case class` warnings.