Linear types can make resource usage in Haskell safer by ensuring resources like memory and file handles are used exactly once. The proposed GHC extension adds linear types via the #-> arrow and a linear base library provides linear versions of Prelude functions and arrays. Examples show how linear types ensure file handles are closed exactly once and mutable arrays are destructively updated safely. Related work includes linear logic, uniqueness types in Clean and Mercury, and Rust's ownership and borrowing model.