Several years after the design of Linear Haskell was proposed, GHC 9 is the first compiler which features linear types. As such Haskell programmers can begin to use linear types today. In the talk I will first recall the main ideas principles behind Linear Haskell. Then I will demonstrate some of what one can do using Linear Haskell as implemented in GHC. Finally I will outline future application of linear types in Haskell and the corresponding research directions.