{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"//!"}]}
//!
//! "specialization". It captures this idea of "removing one layer of constructor".
//! `specialize(c, p)` takes a value-only constructor `c` and a pattern `p`, and returns a