(in „klassischen Sprachen`` wie Haskell, Java,...)
Typreine gemischte Listen?
data List a b = Nil | Cons a (List b a) x :: List String Bool
desgl. in Java