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