Haskellは
お前らが同じ解説を繰り返す毎に強力な静的型になって行ったんじゃないのか