Well... that is what David Heinemeier Hansson refers as type wrangling and gymnastics. But, unlike him, I would say that in such cases, it is better to use any or no type, that drop all your typing. So, if it is tedious, just skip it, you don't need to waste time on it, if you will not recover it later.