>>961
Haskell 2010 でもまだランタイムに依存しているみたいだけど違う?
https://stackoverflow.com/questions/28169119/is-the-dispatch-of-a-haskell-typeclass-dynamic#comment44713002_28170590