Remove Show (Some a) and Eq (Some a). Add Show (Some Era) and Eq (Some Era).
#3464
| Job | Run time |
|---|---|
| 3m 56s | |
| 3m 56s |
Show (Some a) and Eq (Some a). Add Show (Some Era) and Eq (Some Era).
#3464
| Job | Run time |
|---|---|
| 3m 56s | |
| 3m 56s |