Category も追加。
Arrow も追加。あと関数を Arrow とか Applicative にした。