[Solved] Function double in haskell

Here are a few hints

foldAEB2 Nil Un Conc is the identity function

foldAEB2 Nil Un Conc :: AEB2 a -> AEB2 a

Un                       :: a -> AEB2 a
\a -> Conc (Un a) (Un a) :: a -> AEB2 a