anchor.diff:      Success input
       >>= ValidateAllOfTheThings
       >>= SaveToDatabase
  -    |> EchoToUser+    |> EchoToUser
  +
  +
  +// Usage
  +MyBusinessMethod { First = "Fred";Last = "Dagg"; Age = 42 }
positive.code: ﻿
  
  type MyInput = { First:string; Last: string; Age: int}
  type MyDbEntity = { Id: int; First:string; Last: string; Age: int}
  
  type Result<'a> =
      | Success of 'a
  
negative.code: let SaveToDatabase input =
      match input.First |> Seq.toList with
      | 'A'::_ -> Failure "Your name started with 'a'"
      | _ -> Success { MyDbEntity.First = input.First; Last = input.Last; Age = input.Age; Id = 45}
  
  let EchoToUser result =
      match result with
  