úΟI does not require a , as the only relationship  between  and  is given by a free theorem.   pointed-1.8.0.2Data.Copointed Data.Pointed CopointedcopointPointedpointbaseGHC.BaseFunctorfmap