simplify Todo type