add tests/todo/When.hs