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

open import Class.MonadTC public
open MonadTC ⦃...⦄ public