永不打字

无法构造 Never 类型（Basics 模块没有导出其值构造函数，也没有给出任何其他返回 Never 的函数）。没有价值 never : Never 或功能 createNever : ?? -> Never。

这有其好处：你可以在类型系统中编码不可能发生的可能性。这可以在像 Task Never Int 这样的类型中看到，它保证了它将成为一个 Int; 或者 Program Never 在从 JavaScript 初始化 Elm 代码时不会获取任何参数。