ファンクション上のファンクタからファンクタ上のエフェクトに移動するにはどうすればよいですか？

Question

私は2種類のユーザーを持っています。それらをBasicUserとEnrichedUserと呼びましょう。

私はcats.Functorインスタンスを持っているコンテナC内部Fooユーザタイプの値を取得：今、私は含まをオンにする（ファンクタのインスタンスを使用して）この値の上にマッピングしたいと思います

val basicUserF: C[BasicUser] = getBasicUser(…) 

をコンテナに滞在EnrichedUserユーザーへBasicUser、：

import cats.syntax.all._ 

val enrichedUserF: C[EnrichedUser] = basicUserF.map(user => enrichUser(user)) 

しかし、enrichUserはEnrichedUserを返しませんが、ラット彼女OptionT[Future, EnrichedUser]ので、私は次のタイプで終わる：

val enrichedUserThing: C[OptionT[Future, EnrichedUser]] = … 

私は（私が最終的にJSONシリアライズアッカのHTTPレスポンスに変わります）OptionT[Future, C[EnrichedUser]]にこのタイプから取得できますか？

Answer 1

Traverse[C]インスタンスの場合は、sequenceを使用できます。

scala> implicit def CTraverse: Traverse[C] = ??? 
CTraverse: cats.Traverse[C] 

scala> def sequenced = enrichedUserThing.sequence[OptionT[Future,?], EnrichedUser] 
sequenced: cats.data.OptionT[scala.concurrent.Future,C[EnrichedUser]] 

追加：-Ypartial-unificationが有効な場合は、明示的な型引数は必要ありません。