quasar.fp.free
Given F[_] and G[_] such that both :<: H, lifts a natural transformation F ~> G to H ~> H.
F[_]
G[_]
:<: H
F ~> G
H ~> H
Given
F[_]
andG[_]
such that both:<: H
, lifts a natural transformationF ~> G
toH ~> H
.