with -f-hashable, by using manual instances rather than GND we now infer Safe