Forgot about that lol, my bad. I was really thinking of deriving the equivalent of catamorphisms.