reg056.idr:7:7:dodgy n m Refl is a valid case
reg056.idr:10:6:nonk Refl is a valid case