Actually, it's done some other way. You have Dialyzer, which tells you that your case clause will never match the data you provided or the case will surely blow

Actually, it's done some other way. You have Dialyzer, which tells you that your case clause will never match the data you provided or the case will surely blow up because clauses didn't catch some possibility that will occur.