add pcalc monad