anchor.diff:              if p a then return a else return! mzero()}
   
   
  -        open FsControl.Core.Types
   
   
           // Arrow
  
positive.code:             
  
          // Cont
          let runCont = Cont.run
          let callCC' = Cont.callCC
          let inline when'  p s = if p then s else return' ()
          let inline unless p s = when' (not p) s
              
          // Reader
          let ask'      = Reader.ask
          let local'    = Reader.local
          let runReader = Reader.run
              
          // State
          let runState  = State.run
          let get'      = State.get
          let put'      = State.put
          let execState = State.exec
              
          // Monad Transformers
          type MaybeT<'T> = OptionT<'T>
  
negative.code:     module Haskell =
  
          // Types
          open FsControl.Core.Types
  
          let getDual (Dual x) = x
          type Dual<'t> = FsControl.Core.Types.Dual<'t>
          let Dual = Dual.Dual 
  
          let getAll (All x) = x
          type All  = All
          let All = All.All
  
          let getAny (Any x) = x
          type Any  = Any
          let Any = Any.Any
  
          let runKleisli (Kleisli f) = f
          type Kleisli<'t,'u> = FsControl.Core.Types.Kleisli<'t,'u>
          let Kleisli = Kleisli.Kleisli
  
          // Operatots
  