data IndexWithInfo schema =
  forall x.
  IndexWithInfo
    { checkedIndex :: Index schema x
    , checkedIndexName :: U.Variable
    , checkedIndexType :: Type x
    }