I have been given this question and am confused. Any help/pointers greatly appreciated.
Suppose we have a lambda-term take corresponding to Haskell’s take :: Int ->
