Comment by agnishom

This becomes even better with Recursion Schemes https://hackage.haskell.org/package/recursion-schemes