A more modern C

I'm looking for a C-like language that
1. keeps the pointers;
2. has generic types;
3. has better string handling than C;
4. doesn't make OOP-style for your own programs mandatory;
5. isn't C++.

Is there a better option than Go? It lacks generics.

>1. keeps the pointers;
Haskell

>2. has generic types;
Haskell

>3. has better string handling than C;
Haskell

>4. doesn't make OOP-style for your own programs mandatory;
Haskell

>5. isn't C++.
Definitely Haskell. The only problem is that its not C-like. But it has {} brackets.