Strongly typed heterogeneous collections. - Oleg Kiselyov; Ralf Lämmel; Keean Schupke (Haskell, 2004)