úΠ Safe-Infered does not require a , as the only relationship  between  and  is given by a free theorem.    Safe-Infered, !"#$%&'()*+,-./0123456789:;<=>?@ABCD+ !"#$%&'()*+,-./0123456789:;<=>?@ABCDE      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ pointed-3.0Data.Copointed Data.Pointed CopointedcopointPointedpointbaseGHC.BaseFunctorfmap$fCopointedStoreT$fCopointedEnvT$fCopointedMin$fCopointedMax$fCopointedLast$fCopointedFirst$fCopointedNonEmpty$fCopointedSum$fCopointedDual$fCopointedWriterT$fCopointedWriterT0$fCopointedIdentityT$fCopointedCoproduct$fCopointedCompose$fCopointedTree$fCopointed(,,,)$fCopointed(,,)$fCopointed(,)$fCopointedTracedT$fCopointed(->)$fCopointedIdentity$fPointedStatic$fPointedStateT$fPointedStateT0$fPointedWriterT$fPointedWriterT0 $fPointedRWST$fPointedRWST0$fPointedReaderT$fPointedMaybeT$fPointedListT$fPointedIdentityT$fPointedErrorT$fPointedContT$fPointedConstant$fPointedProduct$fPointedCompose $fPointedSet $fPointedSeq $fPointedMin $fPointedMax $fPointedLast$fPointedFirst$fPointedLast0$fPointedFirst0$fPointedProduct0 $fPointedSum $fPointedEndo $fPointedDual$fPointedWrappedArrow$fPointedConst$fPointedWrappedMonad $fPointed(,) $fPointed(->)$fPointedIdentity$fPointedZipList$fPointedNonEmpty $fPointedTree $fPointedSTM $fPointedIO$fPointedEither$fPointedMaybe $fPointed[]