move some common traits into a dedicated submodule
derive `scalaz.Show` and `scalaz.Order`
derive spire instances