142 --   divide toBC bSerializer cSerializer = Serializer $ \\a ->  function
187   divide f (Op g) (Op h) = Op $ \a -> case f a of  function
192   divide f (Comparison g) (Comparison h) = Comparison $ \a b -> case f a of  function
198   divide f (Equivalence g) (Equivalence h) = Equivalence $ \a b -> case f a of  function
204   divide f (Predicate g) (Predicate h) = Predicate $ \a -> case f a of  function
209   divide _ (Const a) (Const b) = Const (mappend a b)  function
214   divide f (Alt l) (Alt r) = Alt $ divide f l r  function
220   divide _ U1 U1 = U1  function
224   divide f (Rec1 l) (Rec1 r) = Rec1 $ divide f l r  function
228   divide f (M1 l) (M1 r) = M1 $ divide f l r  function
232   divide f (l1 :*: r1) (l2 :*: r2) = divide f l1 l2 :*: divide f r1 r2  function
236   divide f (Comp1 l) (Comp1 r) = Comp1 (divide f <$> l <*> r)  function
241   divide f (Backwards l) (Backwards r) = Backwards $ divide f l r  function
245   divide f (ErrorT l) (ErrorT r) = ErrorT $ divide (funzip . fmap f) l r  function
249   divide f (ExceptT l) (ExceptT r) = ExceptT $ divide (funzip . fmap f) l r  function
253   divide f (IdentityT l) (IdentityT r) = IdentityT $ divide f l r  function
257   divide f (ListT l) (ListT r) = ListT $ divide (funzip . map f) l r  function
261   divide f (MaybeT l) (MaybeT r) = MaybeT $ divide (funzip . fmap f) l r  function
265   divide abc (ReaderT rmb) (ReaderT rmc) = ReaderT $ \r -> divide abc (rmb r) (rmc r)  function
269   divide abc (Lazy.RWST rsmb) (Lazy.RWST rsmc) = Lazy.RWST $ \r s ->  function
276   divide abc (Strict.RWST rsmb) (Strict.RWST rsmc) = Strict.RWST $ \r s ->  function
283   divide f (Lazy.StateT l) (Lazy.StateT r) = Lazy.StateT $ \s ->  function
288   divide f (Strict.StateT l) (Strict.StateT r) = Strict.StateT $ \s ->  function
293   divide f (Lazy.WriterT l) (Lazy.WriterT r) = Lazy.WriterT $  function
298   divide f (Strict.WriterT l) (Strict.WriterT r) = Strict.WriterT $  function
303   divide f (Compose l) (Compose r) = Compose (divide f <$> l <*> r)  function
307   divide _ (Constant l) (Constant r) = Constant $ mappend l r  function
311   divide f (Pair l1 r1) (Pair l2 r2) = Pair (divide f l1 l2) (divide f r1 r2)  function
315   divide f (Reverse l) (Reverse r) = Reverse $ divide f l r  function
320   divide _ Proxy Proxy = Proxy  function
326   divide k (SettableStateVar l) (SettableStateVar r) = SettableStateVar $ \ a -> case k a of  function