Test that the mlet macro body runs in an implicit do