Multi-stage programming (MSP) is a useful way of generating optimised programs, but existing MSP systems have limited expressiveness, with no support for type-safe generation of patterns whose shape is statically unknown (i.e. determined only when code generators are run, not when they are written). This work introduces a design for typed generation of arbitrary patterns, and shows how to use the design to generate statically unknown patterns.