変換 '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が含まれていますか？

明らかにこれらの質問は、（1が最もモナドについて同様の質問をすることができますよう、または実際に最もモナド）要求された変換は、任意のモナドのために存在しないことを意味し何の答えを、持っていません。