let as_hint (h : instance) = (h :> D.hint)