Aviation would be my personal experience. We have to implement services on the aircraft for structured communication support with the ground tower. Those would really benefit from something like that, since we wouldn't have to implement a backend for every project and we could simply reuse the whole library everywhere.

I don’t see how generic programming (a la polymorphic types as presented) is the only or even the best solution to this problem.