Nothing Nothing Nothing

-- | An instance. 
instance Semigroup Button where
  (<>) (Button a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12)
    
defButton ∷ Button
defButton = Button Nothing Nothing Nothing Nothing Nothing Nothing Nothing Nothing Nothing Nothing Nothing Nothing
defButton = Button Nothing Nothing Nothing Nothing Nothing Nothing Nothing Nothing Nothing Nothing Nothing Nothing