Add another sketch of a possible ParMonad formulation.  This one uses a different kind ofr ParMonads and exposes the EffectSig and session params