[Haskell-cafe] multi type addition