The identity monad can be seen as the ambient monad that encodes the effect of having no effect. It is ambient in the sense that plain pure values are values of Id.

import arrow.*
import arrow.core.*

// Id(value=hello)

Using this type declaration, we can treat our Id type constructor as a Monad and as a Comonad. The pure method, which has type A -> Id<A> just becomes the identity function. The map method from Functor just becomes function application

val id: Id<Int> = Id.pure(3){it + 3}
// Id(value=6)

Available Instances:

import arrow.debug.*

showInstances<ForId, Unit>()
// [Applicative, Bimonad, Comonad, Foldable, Functor, Monad, Traverse, TraverseFilter]