NaturalTransformation

Companion:
class
class Object
trait Matchable
class Any

Givens

Givens

given naturalId[M[_]](using evidence$1: Monad[M]): naturalId[M]