Note 2018-07-28: 最新の lts-12.2 で動くようにサンプルコードを修正しました。 Servant Haskellは型の表現力がとても高い言語です。 型をうまく使えば意図しないプログラムがコンパイルできないように設計することが出来ます。Servant...