(Doesn't/shouldn't any function that never returns (`-> !`) automatically count as freezing cold?)