One more way to validate against type is to use an example instead of the extracted mold. This uses the [`^+` ketlus](/reference/hoon/rune/ket#-ketlus) rune similarly to how we used [`^-` kethep](/reference/hoon/rune/ket#--kethep) previously: