úÎ I Safe-Infered does not require a , as the only relationship  between  and  is given by a free theorem.    Safe-Infered, !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHI+ !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOpointed-2.0.3.2Data.Copointed Data.Pointed CopointedcopointPointedpointbaseGHC.BaseFunctorfmap$fCopointedStoreT$fCopointedStoreT0$fCopointedStoreT1$fCopointedEnvT$fCopointedEnvT0$fCopointedDiscontT$fCopointedDiscontT0$fCopointedDiscontT1$fCopointedMin$fCopointedMax$fCopointedLast$fCopointedFirst$fCopointedNonEmpty$fCopointedSum$fCopointedDual$fCopointedWriterT$fCopointedWriterT0$fCopointedIdentityT$fCopointedCoproduct$fCopointedCompose$fCopointedTree$fCopointed(,,,)$fCopointed(,,)$fCopointed(,)$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[]