Uh oh, I wouldn't want anyone to copy anything that has to with typesystem from Go before they tell how they are going to have typesafe containers without generics. Haskell typeclasses would be a better source of inspiration IMNSHO.