http4s.extend.laws
This law is automatically satisfied as a consequence of Parametricity.
This law is automatically satisfied as a consequence of Parametricity. Here is implemented as an exercise