03.Hint

Again we are limited in the number of ways we can combine values with combine since it should compose functions of type A => A for any choice of A. And again there is more than one possible implementation. There is only one possible empty though.