\begin{code}

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

module Unsafe.index where

import Unsafe.CantorCompact      -- uses CountableTychonoff
import Unsafe.CountableTychonoff -- uses TERMINATING
import Unsafe.Type-in-Type-False -- uses --type-in-type
import Unsafe.Haskell            -- uses Haskell features as postulates

\end{code}
