All 3 monad laws are now proven for Lists