add tests/todo/Ensure.hs