Stav dette: Giving Haskell a Promotion