add tests/todo/empty-or.hs
unsound recursion via references