ive recently been thinking of static reflection as a custom programmable step of monomorphization, makes me want to make my own actual language thats actually thought through 😞