[dmitriid]

Of course they do. Of course they are.

The simplest code change turns the code in to a monadic/functor soup.

[agentultra]

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

[whateveracct]

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.