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