Identity package:foundation

Identity functor and monad. (a non-strict monad)
Identity element over multiplication