playground example of strongly-typed map of various types