| Binder (`Forall, (Cic.Anonymous, Some ast), Sort `Type) -> [ast]
| Binder (`Forall, (Cic.Anonymous, Some ast), tgt) -> ast :: unpack tgt
| _ -> assert false
| Binder (`Forall, (Cic.Anonymous, Some ast), Sort `Type) -> [ast]
| Binder (`Forall, (Cic.Anonymous, Some ast), tgt) -> ast :: unpack tgt
| _ -> assert false