bc it has type [a] -> [[a]] -> a

Thank you for pointing that out, not sure what I was thinking there.

thanks for you contribution, You are now invalidated ;o

thanks, didn't notice that