Note2018-07-28: 最新の lts-12.2 で動くようにサンプルコードを修正しました。ServantHaskellは型の表現力がとても高い言語です。型をうまく使えば意図しないプ…