Added Option instance for Monoid and Show.