将'A => F [G [B]]'转换为'F [G [A => B]'标量

Question

给定带签名的函数： A => F[G[B]] 。 有F和G类型的单子实例。

是否可以将其转换为带有签名的东西： 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 ？

显然，这些问题没有答案，这意味着所请求的转换不能存在于任意一个monad（或者实际上是大多数monad，因为人们可以对大多数monad提出类似的问题）。