anchor.diff: -﻿namespace FsControl.Core.Types
  +namespace FsControl.Core.Types
   
   open FsControl.Core.Prelude
   open FsControl.Core.Abstractions
  
positive.code: type OptionT<'Ma> with
      static member inline instance (Functor.Map, OptionT x :OptionT<'ma>, _) = fun (f:'a->'b) -> OptionT (fmap (Option.map f) x) :OptionT<'mb>
      static member inline instance (Applicative.Pure,            _:OptionT<'ma>) = OptionT << return' << Some :'a -> OptionT<'ma>
      static member inline instance (Monad.Bind  , OptionT x :OptionT<'ma>, _:OptionT<'mb>) = 
          fun (f: 'a -> OptionT<'mb>) -> (OptionT <| do'() {
              let! maybe_value = x
  
negative.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) ()
  