Implemented Foldable Maybe and implicit mconcat