IO

IO モナドは難しいというが、やはり書き足りないのか。