Inferable and safe IsString/Num instances for User.