Haskell offers static typing, algebraic data types, and a strong separation between pure computation and effects. These properties are useful for embedded software, but the standard GHC execution model is too large for many constrained microcontrollers because it requires a runtime system, heap allocation, and garbage collection. The talk looks at a few of the various ways that Haskell is currently being used in the embedded domain.