(Op)Monoidal (Tagged s), Monoidal Proxy, Functors for LiftValue