This is exactly why every language should have type abbreviations, even if it isn't a functional language with lots of type algebra. It would save you from so much boilerplate and achieve the exact same thing.