\begin{code}

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

module EffectfulForcing.index where

import EffectfulForcing.MFPSAndVariations.index
import EffectfulForcing.Internal.index

\end{code}