Have you used the never type in practice and for which scenarios?