(b) Given that mymap:: (a->b)->[a]->[b] give the type of f in: f mymap (mymap (mymap h)) Does the program type? Yes No If yes, what is its most general type? Enter your answer here