Ungewöhnliche Typen (I)

(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