fix new pcalc monad design