WrongPrimitiveModality.agda:12,8-36
Wrong modality for primitive primShowNat
  Got:      instance, erased
  Expected: visible, unrestricted
when checking that the type of the primitive function primShowNat
is Nat → String
