add tests/todo/LocalSpecTyVar.hs