note about isomorphism witnesses for id functor