I see. I got confused by the fact that for me a program that never ends is still valid, but I understand how this makes no sense for a type system.