b4) (a5 <> b5) (a6 <> b6)

-- | An instance. 
instance Monoid Embed where
  mempty 
defEmbed ∷ Embed
defEmbed = Embed Nothing Nothing Nothing Nothing Nothing Nothing
defEmbed = Embed Nothing Nothing Nothing Nothing Nothing Nothing