Magically construct ZLayers at compile-time (with friendly errors)