This paper describes a domain-specific language embeddedin Haskell, IPS, for the implementation of protocol stacks for embeddedsystems. IPS profits from Haskell’s features and generates C implementationsby embedded compilation.