{-# OPTIONS --without-K #-}
module Class.Monad where

open import Class.Monad.Core public
open import Class.Monad.Instances public