https://blog.sumtypeofway.com/posts/introduction-to-recursion-schemes.html such as catamorphisms, histomorphisms, etc