SMS: Giving Haskell a Promotion