http4s.extend
Models a natural transformation between the Functors F[_] and G[_].
F[_]
G[_]
It satisfies the naturality condition. See ByNameNtLaws
Gives the Natural Transformation from F to G for all the types A where F is called by name
F
G
A
Models a natural transformation between the Functors
F[_]
andG[_]
.It satisfies the naturality condition. See ByNameNtLaws