Similar to System_F

• 

  静的ポリモーフィズム

  
• 

  多重ディスパッチ

  Multiple dispatch