No one is writing aircraft software in Haskell. They need good control over memory usage.

Counter-example: https://smaccmpilot.org/software/index.html

Also, a Haskell DSL for automotive control systems: http://tomahawkins.org/

That isn't a counter-example unless you're taking his post literally. In which case I claim that Python is a system programming language because one time somebody somewhere wrote a driver in it.