anchor.diff:  open Microsoft.FSharp.Quotations
   open FsControl.Core
   open FsControl.Core.Prelude
  +open FsControl.Core.Types
   open Monoid
   
   type internal keyValue<'a,'b> = System.Collections.Generic.KeyValuePair<'a,'b>
  
positive.code: 
  module Applicative =
      type Pure = Pure with
  #if NOTNET35
          static member        instance (Pure, _:seq<'a>       ) = fun x -> Seq.singleton x :seq<'a>
          static member        instance (Pure, _:'a Task       ) = fun x -> 
              let s = TaskCompletionSource()
              s.SetResult x
              s.Task
  #endif
          static member        instance (Pure, _:option<'a>    ) = fun x -> Some x      :option<'a>
          static member        instance (Pure, _:List<'a>      ) = fun x -> [ x ]       :List<'a>
          static member        instance (Pure, _:'a []         ) = fun x -> [|x|]       :'a []
  
negative.code: 
      type Map() =
          inherit MapDefault()
          static member instance (_:Map, x:seq<_>       , _:seq<'b>) = fun f -> Seq.map f x :seq<'b>
          static member instance (_:Map, x:option<_>    , _) = fun f -> Option.map  f x
          static member instance (_:Map, x:List<_>      , _:List<'b>) = fun f -> List.map f x :List<'b>
          static member instance (_:Map, g:_->_         , _) = (>>) g
  