>>68
ifIO :: Bool -> IO a -> IO a -> IO a
ifIO b act1 act2 = case b of
 True -> act1
  False -> act2

これ、遅延評価だからactを引数に渡しても評価されないのか