I think I'm right in saying that haskell does what you'd expect when you have a list of some typeclass. The difference is that Go has opted to use RTTI, whereas haskell does it a compile time. So, it's not impossible to do well.