We did this to ourselves
I need an explainer on this one
if (theorems_for(free)) make_instance_of(x, String)
What
Magnets.
It's a miracle!
How do they work?