It improves reliability at compile time, certainly