... and if you program in Haskell that's exactly what you want. Programming with these abstractions is common and well supported in Haskell.

Given what the examples are doing (describing inputs) I don't see how you solve it ergonomically without higher kinded types, which in turn leads to functors etc.