變換 'A => F [G [B]]' 到 'F [G [A => B]' 階

Question

給定一個功能與簽名：A => F[G[B]]。有F和G類型的monads實例。

是否有可能將其改造成能簽名：F[G[A=>B]？這種轉換是否有任何通用名稱？

換句話說會是什麼prettify2執行？

def pretiffy(x: String): Future[Option[String]] = Future{if(x == "") None else Some(s">>>$x<<<")} 
val pretiffy2: Future[Option[String => String]] = ??? 

更新：我會感謝使用貓或斯卡拉答案。

Answer 1

假設我們有一個String=>List[Option[Integer]]。我們需要生產一個List[Option[String=>Integer]]。我們應該如何處理？例如，結果列表應該多長時間？它應該包含多少個None？

顯然，這些問題都沒有答案，這意味着所請求轉換爲任意的單子可以不存在（或實際上大部分單子，作爲一個可以問的最多的單子類似的問題）。