add tests/todo/TypeFun.hs