add mappings of sum_type, list, char and nadd
#357
| Job | Run time |
|---|---|
| 7m 2s | |
| 7m 2s |
sum_type, list, char and nadd
#357
| Job | Run time |
|---|---|
| 7m 2s | |
| 7m 2s |