Identity functor

Summary