I don't know if there's joy to be found here

TypeAliases would reduce the amount of toil there, but then the types are obfuscated away rather than being expressed locally.