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