Consultas laboratorio

Buenas! Estamos teniendo un problema con lintAppend 
Por ejemplo concatenaciones como esta x:[] ++ (y:[] ++ (ys:[] ++ ps)) da el resultado correcto y con la lista de sugerencia correcta ejecutando ./Linter -s -lintAppend.
luego con esta 
bar = \xs -> case xs of
[]       -> [];
(l : ls) -> (\ys -> (\ls -> length ls == 0) ys) l:[] ++ bar ls
no da ninguna sugerencia. El problema es con esto (\ys -> (\ls -> length ls == 0) ys) l:[] ++ bar ls 
El AST no logro ver como se interpretaría. Tengo una lambda expresión y dentro tengo otra lambda expresión pero como relaciona la expresión  l:[] ++ bar ls ?? cual usa para poder construir toda la expresión ??