{-# OPTIONS --cubical --safe #-}

module Control.Monad.Levels where


open import Control.Monad.Levels.Definition public