Ну просто у тебя F это и так какой-то ридер, таскающий в контексте алгебру Alg[F].
На любом ридере можно вернуть контекст F[Alg[F]]
Если алгебра достаточно простая, то ридер можно зафлаттенить и сделать Alg[F]
Вот ты и перешел от таскания контекста с алгеброй к наличию самой алгебры
А это про другое. Это про то, что можно требовать F : Alg, если она у тебя в ридере валяется