Notice that the list $[$tail$,$ init, reverse$]$ has a type, however, if we try to construct $[$tail$,$ init, reverse, head$],$ it will generate a type error. Why is this?