8.a) Given the following mysteryl function, what is the type of the mystery1 function?. You must also explain your answer. Failure to explain your answer or giving incorrect explanation will result in zero credits. let rec mystery1 (f,11,12) match (11, 12) with ([], [])-> [] (_, [])-> [] ([],_)-> [] = (h1::t1, h2::t2)->[f (Some (h1+1)) (f (Some (h2+2)) h2)] :: mystery1 (f,t1, t2)