> > 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.
Well, they did say at the top:
> (a) Given a List-algebra \\(a : List(X)\to X\\), construct a monoid on the set \\(X\\).
So the question clearly is concerned with `a : [x] -> x`, right?
You can find more notes on monoid-algebras in [Chapter 10 of Awodey's _Category Theory_](https://www.andrew.cmu.edu/course/80-413-713/notes/chap10.pdf) and [nlab](https://ncatlab.org/nlab/show/algebra+over+a+monad)
Remember: an F-algebra is just a function `a : f a -> a` where `f` is a functor. This problem demands a little more structure, as Bartosz was saying. So we need those extra rules I was mentioning.