Monad m => (a -> m b) -> m (a -> b)
な変換関数って作れる？