相关疑难解决方法(0)

我想将函数转换A -> IO B为IO (A -> B),知道只有有限数量的可能值A.目前我只是这样做

 convert :: (A -> IO B) -> IO (A -> B)
 convert f = do
     b1 <- f a1
     b2 <- f a2
     ...
     let f' a1 = b1
         f' a2 = b2
         ...
     return f'

但是我对这需要的代码量不满意.