The tricky thing with recursion schemes often comes when you get mutually recursive types… and also all the names are incredibly obscure. I’d love to see somebody come up with a nice surface syntax for them so I didn't have to remember all of them, and figure them out later.