anchor.diff:              OptionT ( (fun v h -> Inline.instance (CatchError, v) h) (OptionT.run m) (OptionT.run << h) ) :OptionT<'U>
           static member inline instance (CatchError,  m:ListT<'U> , _:ListT<'U>  ) = fun (h:'e -> ListT<'U>) -> 
               ListT ( (fun v h -> Inline.instance (CatchError, v) h) (ListT.run m) (ListT.run << h) ) :ListT<'U>
  +        static member inline instance (CatchError,  m:SeqT<'U> , _:SeqT<'U>  ) = fun (h:'e -> SeqT<'U>) -> 
  +            SeqT ( (fun v h -> Inline.instance (CatchError, v) h) (SeqT.run m) (SeqT.run << h) ) :SeqT<'U>
           static member        instance (CatchError, m:Choice<'v,'t>, _:Choice<'v,'e>) = fun (h:'t -> Choice<'v,'e>) -> Error.catch h m
  -        static member        instance (CatchError, m:'t * 'v, _:'e * 'v) = fun (h:'t -> 'e * 'v) -> h (fst m) 
  +        static member        instance (CatchError, m:'t * 'v, _:'e * 'v) = fun (h:'t -> 'e * 'v) -> h (fst m)
   
       let inline throwError x   = Inline.instance  ThrowError x
       let inline catchError v h = Inline.instance (CatchError, v) h
  
positive.code: 
      let inline internal tell   x = Inline.instance  Tell x
      let inline internal listen m = Inline.instance (Listen, m) ()
      let inline internal pass   m = Inline.instance (Pass  , m) ()
  
negative.code: module MonadCont =
      type CallCC = CallCC with
          static member instance (CallCC, _:OptionT<Cont<'r,option<'a>>>) = fun (f:((_ -> OptionT<Cont<_,'b>>) -> _)) -> OptionT(Cont.callCC <| fun c -> OptionT.run(f (OptionT << c << Some)))     :OptionT<Cont<'r,option<'a>>>
          static member instance (CallCC, _:ListT<Cont<'r ,  List<'a>>> ) = fun (f:((_ -> ListT<Cont<_,'b>>  ) -> _)) -> ListT  (Cont.callCC <| fun c ->   ListT.run(f (ListT << c << List.singleton))):ListT<Cont<'r, List<'a>>>
          static member instance (CallCC, _: SeqT<Cont<'r ,  seq<'a>>>  ) = fun (f:((_ -> SeqT<Cont<_,'b>>   ) -> _)) -> SeqT   (Cont.callCC <| fun c ->   SeqT.run (f (SeqT  << c << Seq.singleton ))):SeqT<Cont<'r ,  seq<'a>>>
          static member instance (CallCC, _:Cont<'r,'a>) = Cont.callCC : (('a -> Cont<'r,'b>) -> _) -> _
  
      let inline internal callCC f = Inline.instance CallCC f
  