contextWrap2 c f d = contextWrap c (\v -> contextWrap  c (f v) d) d
contextWrap2 c f d = contextWrap c (\v -> contextWrap  c (f v) d) d
contextWrap2 c f d = contextWrap c (\v -> contextWrap  c (f v) d) d