anchor.diff:          static member ( - ) (this: GenericHelper, f) =
               this.Entity 4 (fun x -> f x.[0] x.[1] x.[2] x.[3])
   
  -    let WithConstraint (constraints: list<Type.IType>) (ty: Type.IType) =
  +    let WithConstraint (constraints: list<T>) (ty: #Type.IType) =
           match ty.Type with
  -        | Type.GenericType (_, cs) -> cs := constraints |> List.map (fun t -> t.Type)
  +        | Type.GenericType (_, cs) -> cs := constraints
           | _ -> ()
           ty
  
positive.code:         Code.Resource (name, basePath :: paths)
  
      /// Makes a member static.
      let Static<'T when 'T :> Code.Member> (x: 'T) =
          x |> Code.Entity.Update (fun x -> x.IsStatic <- true)
          
      /// Makes a member instance.
      let Instance<'T when 'T :> Code.Member> (x: 'T) =
          x |> Code.Entity.Update (fun x -> x.IsStatic <- false)
  
      /// Sets the base class.
  
negative.code:         [ for m in members -> Instance m :> Code.IClassMember ]
  
      /// Adds a comment.
      let WithComment (comment: string) (x: #Code.Entity) =
          x |> Code.Entity.Update (fun x -> x.Comment <- Some comment)
  
      /// Adds a source name.
      let WithSourceName (name: string) (x: #Code.Entity) =
          x |> Code.Entity.Update (fun x -> x.SourceName <- Some name)
  
      /// Adds an inline.
      let WithInline (code: string) (x: #Code.MethodBase) =
          x |> Code.Entity.Update (fun x -> x.Inline <- Some code)
  
      /// Adds an inline.
  