. . "Of course, if TT is a 2-monad describing some structure, then TAT A is the free such structure on AA; thus the first sort of coherence theorem can be precisely stated as ???describe TAT A as explicitly as possible in terms of AA.???" . .