Strings are inhabited
Add instance for Inhabited string
; usually you can rely on stdpp having all the instances you'd expect, which is pretty cool, so let's fix this small exception
Add instance for Inhabited string
; usually you can rely on stdpp having all the instances you'd expect, which is pretty cool, so let's fix this small exception