Modify the context of G[A] using the natural transformation f.
Modify the context of G[A] using the natural transformation f.
This method is "limited" in the sense that while most mapK methods can modify the context using arbitrary transformations, this method can only modify the context using natural transformations.
Attributes
Note
This method is usually best implemented by a mapK method on G.