Add Distributive and Representable instances to Vec n
#3267
| Job | Run time |
|---|---|
| 1h 0m 16s | |
| 19m 14s | |
| 52m 30s | |
| 18m 19s | |
| 53m 23s | |
| 21m 48s | |
| 23m 16s | |
| 24m 31s | |
| 20m 35s | |
| 16m 17s | |
| 17m 41s | |
| 1h 45m 40s | |
| 10s | |
| 7h 13m 40s |