Upto Ex 4 of monoids done
List monoid lift