An imperative language for safe systems programming embedded into Haskell.