    ------------------------------------------------------------------------
    -- The Agda standard library
    --
    -- Typeclass instances for IO
    ------------------------------------------------------------------------

    {-# OPTIONS --cubical-compatible --guardedness #-}

    module IO.Instances where

    open import Effect.Functor using (RawFunctor)
    open import Effect.Applicative using (RawApplicative)
    open import Effect.Monad using (RawMonad)
    open import IO.Base using (IO)
    open import IO.Effectful using (functor; applicative; monad)

    instance
      ioFunctor = functor
      ioApplicative = applicative
      ioMonad = monad