-- ** Id monad.
-- Provides us with forward composition as _>=>_,
-- but might break instance-resolution/typeclass-inference
 
{-# OPTIONS --cubical-compatible #-}
module Class.Monad.Id where
 
open import Class.Prelude
open import Class.Functor.Core
open import Class.Applicative.Core
open import Class.Monad.Core
 
Id : Type ℓ → Type ℓ
Id = id
 
instance
  Functor-Id : Functor Id
  Functor-Id ._<$>_ = _$_
  {-# OVERLAPPABLE Functor-Id #-}
 
  Applicative-Id : Applicative Id
  Applicative-Id .pure  = id
  Applicative-Id ._<*>_ = _$_
  {-# OVERLAPPABLE Applicative-Id #-}
 
  Monad-Id : Monad Id
  Monad-Id .return = id
  Monad-Id ._>>=_  = _|>_
  {-# OVERLAPPABLE Monad-Id #-}