---------------------------------------------------------
------------------------------------------------------------------------------

-- | Embed-element has the following attributes:
-- globals; src; type
detailsD ∷ forall t m a. (DomBuilder t m, PostBuild t m) ⇒ Dynamic t Details → m a → m a
detailsD bm children = snd <$> detailsD' bm children
detailsD bm children = snd <$> detailsD' bm children