{-# OPTIONS --cubical-compatible #-}
module Class.Monad where
 
open import Class.Monad.Core public
open import Class.Monad.Instances public