朝は bouzuya/rally-cli-hs をすこし進める。関数を引数にとる関数を書いていて、引数の型を何度も書いてくどいので type を使ってみた。型変数 (?) に制約があると良さそうだったので、制約をつけたら Rank2Types か RankNTypes 拡張を有効にしろと怒られた…