They should have used existential types instead of having so many type parameters. I rewrote it with existential types and it was cleaner. This is probably due

They should have used existential types instead of having so many type parameters. I rewrote it with existential types and it was cleaner. This is probably due to the author importing an example from Haskell, language where existential types aren't as prevalent.