5. Consider the following function. let f (x : int list) : bool list = match...

Transcribed Image Text:

5. Consider the following function. let f (x : int list) : bool list = match x with | [] -> x | hd tl -> true :: [] Is it well typed? Briefly explain your reasoning. 5. Consider the following function. let f (x : int list) : bool list = match x with | [] -> x | hd tl -> true :: [] Is it well typed? Briefly explain your reasoning.