永不打字

無法構造 Never 型別（Basics 模組沒有匯出其值建構函式，也沒有給出任何其他返回 Never 的函式）。沒有價值 never : Never 或功能 createNever : ?? -> Never。

這有其好處：你可以在型別系統中編碼不可能發生的可能性。這可以在像 Task Never Int 這樣的型別中看到，它保證了它將成為一個 Int; 或者 Program Never 在從 JavaScript 初始化 Elm 程式碼時不會獲取任何引數。