Efectivamente. La aplicación tiene la mayor precedencia posible, en particular mayor a la del operador `(.)'
Por lo tanto `length . head [[1],[2]]' es equivalente a escribir ` length . (head [[1],[2]])' y eso no tipa (al aplicar head obtenemos una lista, que no es una función, entonces no se puede componer).
Por lo tanto `length . head [[1],[2]]' es equivalente a escribir ` length . (head [[1],[2]])' y eso no tipa (al aplicar head obtenemos una lista, que no es una función, entonces no se puede componer).