Using guarded equations, implement a function myInsert that behaves the same way as the insert function defined in Data. List package. The Data. List. insert function takes an element and a list and inserts the element into the list at the first position where it is less than or equal to the next element. In particular, if the list is sorted before the call, the result will also be sorted. myInsert : : Ord a â a â [a]â a[a]

a. Explain your nylnsert function definition.
b. Using nylnsert and foldr, implement insertion sort (named mySort).
nySort : : Ord a â a â [a]â a[a]
c. Explain how your nySort works when it is applied as below. Your explanation should be closely related to how foldr works.
nySort [3,1,4,2,5]