This module exports a Num instance for the Poly type.
This instance does not implement all operations, because abs and signum
are simply not definable, so I have placed it into a separate module so
that I can make people read this caveat ;).
Use at your own risk.