liftM の使い方が分からなかったので調べてみました。 ghci> :m + Control.Monad ghci> :t liftM liftM :: (Monad m) => (a1 -> r) -> m a1 -> m r liftM は a1 を引数に r を帰す関数と モナドのインスタンス a1 を引数にとり、 モナドの r を返す。 つまり…