The following is one implementation of Typesafe Heterogeneous Containers in Golang.

Like an ordinary Go map, it’s a key+value data structure.

Unlike a map, it can contain values of arbitrary types but with __compile-time type checking__.