Through indexJ
Through dropJ but monoidal annotations are wrong