Type safety is a powerful tool for creating safe systems. This presentation is about creating an embedded system where every dependency between objects is a constant expression and where members of every class are available as a constexpr tuple.