> As far as I know the puzzle doesn't have anything to do with initial F-algebras. I think the type for a list algebra should just be [a] -> a.

@MatthewDoty This contradicts the definition given in the course notes. That's what I'm confused about.