{-# OPTIONS --safe #-}
module Cubical.Modalities.Everything where

import Cubical.Modalities.Instances.Closed
import Cubical.Modalities.Instances.DoubleNegation
import Cubical.Modalities.Instances.Identity
import Cubical.Modalities.Instances.Open
import Cubical.Modalities.Instances.Zero
import Cubical.Modalities.Lex
import Cubical.Modalities.Modality