interchange test for applicative failing ... but WHY???