Replace 'B by a fresh name in the ppx.