monad-identity 追加。
StateT と State 作った (State は StateT Identity)
モナド変換子も作った。
これは Trans というより Lift にしよう。 get も Get だし put も Put だし。