Add labelMVar to the strict MVar library
#677
| Job | Run time |
|---|---|
| 7m 48s | |
| 12m 13s | |
| 10m 19s | |
| 7m 53s | |
| 7m 15s | |
| 10m 2s | |
| 8m 7s | |
| 7m 6s | |
| 10m 16s | |
| 7m 51s | |
| 7m 58s | |
| 9m 23s | |
| 6m 17s | |
| 9m 56s | |
| 9m 42s | |
| 6m 19s | |
| 8m 44s | |
| 10m 17s | |
| 2h 37m 26s |