Consider Removal of Numeric #16
Description
This refers to a discussion in gitter about Numeric (see https://gitter.im/scalaz/scalaz-analytics/archives/2018/09/26 and https://gitter.im/scalaz/scalaz-analytics/archives/2018/09/27)
Basically the issue is Numeric is not fully defined for very common numerical types e.g. Int not total over division, Double not having a modulo operation.
The consensus of the discussion seems to be that using algebraic abstractions would probably be cleaner. Even better would be to make sure that we can interoperate with scalaz-algebra, spire and algebird as easily as possible.
Right now implementing this would merely mean to remove the code about numeric. Perhaps we should tackle this issue once we have a couple of implementation examples so we can analyze all the implications more easily?