{-# OPTIONS --safe --without-K #-}
module Class.MonadError.Instances where
 
open import Class.MonadError public
open MonadError ⦃...⦄ public