{-# OPTIONS --safe --without-K #-}

module Meta where

open import Reflection.Debug public
open import Reflection.TCI public
open import Reflection.Syntax public
open import Reflection.AST.Term public
  using (vΠ[_∶_]_)

instance
  iMonad-TC = Monad-TC
  iMonadTC-TCI = MonadTC-TCI
  iMonadReader-TC = MonadReader-TC
  iMonadError-TC = MonadError-TC