Added demo for "Consider typesafe heterogeneous containers"/