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 ~> GtoH ~> H.