úÎ2Ü does not require a , as the only relationship  between  and  is given by a free theorem.  does not require a , as the only relationship  between  and  is given by a free theorem.   pointed-0.1.2Data.Copointed Data.Pointed CopointedcopointPointedpointbaseGHC.BaseFunctorfmap