Another important use of opaque functors is the following: Mac Donald (MacDonald, 1976) shows that Kan extensions of cohomological theories can be taken along rich functors; in fact, it can also be taken along opaque functors (and more in general with exact squares).