I am really struggling to understand lambda calculus, I am a student and amd floundering. How would you define HEAD such that :-
head [N; : : : ]---> *β N where