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