パターンマッチング
↑ https://wiki.haskell.org/Declaration_vs._expression_style
↑ Joel Moses, "Symbolic Integration", MIT Project MAC MAC-TR-47, December 1967