úΤ X     fundeps, MPTCs experimentalEdward Kmett <ekmett@gmail.com> Safe-Infered  MPTCs, fundeps provisionalEdward Kmett <ekmett@gmail.com> Safe-Inferedlower . section = id We'Jd prefer the following non-Haskell 98 type to make parametricity clearer,  but this suffices @ telescope :: (forall b. [Lens (f b) b]) -> Lens (Cofree f a) a   !"#$%&'()*+,-./012     !"#$%&'()*+,-./012non-portable (fundeps, MPTCs) experimentalEdward Kmett <ekmett@gmail.com> Safe-Infered 3456789:;<=   3456789:;<=MPTCs, fundeps provisionalEdward Kmett <ekmett@gmail.com> Safe-Infered  retract . lift = id  retract . liftF = id  >?@ABCDEFGHIJKLMNOPQRS     >?@ABCDEFGHIJKLMNOPQRST      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWX free-2.0.3Control.Comonad.Cofree.ClassControl.Comonad.CofreeControl.Monad.Free.ClassControl.Monad.Free ComonadCofreeunwrapCofree:<coiterunfoldsection extractLens unwrapLens telescope MonadFreewrapFreePureliftFretractiter$fComonadCofreefDiscontT$fComonadCofreefDiscontT0$fComonadCofreefDiscontT1$fComonadCofreefTracedT$fComonadCofreefTracedT0$fComonadCofreefStoreT$fComonadCofreefStoreT0$fComonadCofreefStoreT1$fComonadCofreefEnvT$fComonadCofreefEnvT0$fComonadCofreefIdentityT$fComonadTracedmCofree$fComonadStoresCofree$fComonadEnveCofree $fDataCofree$fTypeableCofree$fTypeable1Cofree$fTraversable1Cofree$fTraversableCofree$fFoldable1Cofree$fFoldableCofree $fOrdCofree $fEqCofree $fReadCofree $fShowCofree$fApplicativeCofree $fApplyCofree$fComonadTransCofree$fComonadCofree$fExtendCofree$fFunctorCofree$fDistributiveCofree$fComonadCofreefCofree$fMonadFreefErrorT$fMonadFreefListT$fMonadFreefIdentityT$fMonadFreefMaybeT$fMonadFreefRWST$fMonadFreefRWST0$fMonadFreefWriterT$fMonadFreefWriterT0$fMonadFreefStateT$fMonadFreefStateT0$fMonadFreefReaderT$fMonadFreefFree$fMonadContFree$fMonadErroreFree$fMonadStatesFree$fMonadReadereFree$fMonadWritereFree$fTraversable1Free$fTraversableFree$fFoldable1Free$fFoldableFree$fMonadTransFree$fMonadPlusFree$fAlternativeFree $fMonadFree $fBindFree$fApplicativeFree $fApplyFree $fFunctorFree $fReadFree $fShowFree $fOrdFree$fEqFree