Trouble with 2.13.4 exhaustivity checking being too strict

Doesn’t ”@unchecked” work?–