monadic translator resurrected on modules branch