\begin{code}

{-# OPTIONS --safe --without-K #-}

module deprecated.index where

import deprecated.Categories.index
import deprecated.StructureIdentityPrinciple    -- Use UF.SIP instead

\end{code}