A language for verified hard real-time stream processing embedded into Haskell.