RosettaCodeData/Task/Nested-templated-data/Haskell/nested-templated-data-1.hs

{-# language DeriveTraversable #-}

data Template a = Val a | List [Template a]
  deriving ( Show
           , Functor
           , Foldable
           , Traversable )