🦕. A type-check utility function to indicating that the code is unreachable - View it on GitHub