I try to write a list-corresponding reverse function under Monoid typeclass like this:
Monoid
reverse :: [a] -> [a] reverse ls = foldl ( \\b a -