Linear.V: Port to GHC 7.8 type nats
Linear.Affine: Use DeriveTraversable instead of GNTD

Otherwise roles get in the way