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

open import Class.MonadReader public
open MonadReader ⦃...⦄ public