Update TH definitions for weaken applicative functor interfaces.
Update pragmas along with TH definition updates.
Upate examples to add projectable-applicative examples.