_kind</a>
  * <span><span class="type-var">'inst</span> <a href="#type-hpara_dll0">hpara_dll0</a></span>
  * <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a>
  * <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a>
  * <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a>
  * <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a>
  * <span><a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> list</span></span></code></td><td class="def-doc"><span class="comment-delim">(*</span><p>higher-order predicat