{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// be "comparable" to the type of the input value. So, for example:
    /// we currently use `Contravariant` -- this is because the constant type just needs to
    ///