Those signatures seem complicated to me because there's a pile of arguments and some of them are functions with extra annotations, not because there's generics

Those signatures seem complicated to me because there's a pile of arguments and some of them are functions with extra annotations, not because there's generics involved. The equivalent signatures using interface{} (or maybe something more precise) would be likely just as noisy, if not more so.