Scala: Implementing a subtype of Numeric[T]

Question

How does one go about implementing a subtype of Numeric[T]? I have been looking for at guide on this but haven\'t found any. Example of subtypes could be Rational or Complex?

Answer 1

I added Real to Scalaz, with instances Real[Double] and Real[Dual].

I found it convenient to make fromDouble implicit