こういう関数も欲しい: module Scrach where doJust :: Maybe (IO a) -> IO () doJust (Just io) = io >> return () doJust Nothing = return ()*Scrach> doJust (Just $ print "doing") "doing" *Scrach> doJust Nothing *Scrach> 僕が出した答えはこのすぐ…

以前のエントリで、(つづく)とか書いたけど、続きませんでした。ごめんなさい。さて、つぎのような関数が欲しい: module Scrach where whenJust :: Maybe a -> (a -> IO b) -> IO() whenJust (Just v) io = io v >> return () whenJust Nothing _ = return (…