module ImprHIT.General where

open import ImprHIT.Background.Impredicativity
open import ImprHIT.Background.WSuspension