Adding types after the fact is never going to work out well.