{-# OPTIONS --safe --without-K #-}
module Class.MonadError.Instances where

open import Class.MonadError public
open MonadError ⦃...⦄ public