id -package:universum package:base is:exact

Identity function.
id x = x
the identity morphism