(haltL: FunctorOps[[y]ReceiveY[X, y], A]).>|(b)
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).>|(b)
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).F
(haltL: ApplyOps[[y]ReceiveY[X, y], A]).F
(haltL: ApplicativeOps[[y]ReceiveY[X, y], A]).F
(haltL: MonadOps[[y]ReceiveY[X, y], A]).F
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).F
(haltL: ApplyOps[[y]ReceiveY[X, y], A]).F
(haltL: ApplicativeOps[[y]ReceiveY[X, y], A]).F
(haltL: MonadOps[[y]ReceiveY[X, y], A]).F
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).as(b)
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).as(b)
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).fpair
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).fpair
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).fpoint(arg0)
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).fpoint(arg0)
(haltL: MonadOps[[y]ReceiveY[X, y], A]).liftM(G)
(haltL: MonadOps[[y]ReceiveY[X, y], A]).liftM(G)
(haltL: ApplicativeOps[[y]ReceiveY[X, y], A]).replicateM(n)
(haltL: ApplicativeOps[[y]ReceiveY[X, y], A]).replicateM(n)
(haltL: ApplicativeOps[[y]ReceiveY[X, y], A]).replicateM_(n)
(haltL: ApplicativeOps[[y]ReceiveY[X, y], A]).replicateM_(n)
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).self
(haltL: ApplyOps[[y]ReceiveY[X, y], A]).self
(haltL: ApplicativeOps[[y]ReceiveY[X, y], A]).self
(haltL: MonadOps[[y]ReceiveY[X, y], A]).self
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).self
(haltL: ApplyOps[[y]ReceiveY[X, y], A]).self
(haltL: ApplicativeOps[[y]ReceiveY[X, y], A]).self
(haltL: MonadOps[[y]ReceiveY[X, y], A]).self
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).strengthL(b)
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).strengthL(b)
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).strengthR(b)
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).strengthR(b)
(haltL: ApplicativeOps[[y]ReceiveY[X, y], A]).unlessM(cond)
(haltL: ApplicativeOps[[y]ReceiveY[X, y], A]).unlessM(cond)
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).void
(haltL: FunctorOps[[y]ReceiveY[X, y], A]).void
(haltL: ApplicativeOps[[y]ReceiveY[X, y], A]).whenM(cond)
(haltL: ApplicativeOps[[y]ReceiveY[X, y], A]).whenM(cond)