I think the poster means "you can't pattern match with a function value