module Demo where

import Data.Monoid

newtype Maybe' a = Maybe' { getMaybe :: Maybe a }
    deriving (Eq,Show)

instance Monoid a => Monoid (Maybe' a) where
    mempty = undefined

instance Semigroup a => Semigroup (Maybe' a) where
    (<>) = undefined