Haskellで実装してみせればいいんじゃね?