NewType in F#

newtype.fs

// current type abbreviations in F#
type A = Guid
type B = Guid

let foo (x : A) = x.ToString()
let b = B.NewGuid()
foo(b) // type checks

// proposed newtype abbreviations
newtype A = Guid
newtype B = Guid

let foo (x : A) = x.ToString()
let b = B.NewGuid()
foo(b) // type error

// newtype abbreviations should generate explicit conversion methods
let g : Guid = B.ToGuid b
let b : B = B.FromGuid g

// alternative attribute-based approach
[<NewType>]
type A = Guid
[<NewType>]
type B = Guid

In response to your questions:

• From the original type. But I'm wondering what type this method call should return: B or justGuid that would have to be converted explicitly? It gets even more confusing with instance methods. What would be the return type of FSharpMap.Add in case it got renamed? I think the same problem applies to using UoM over non-numerical values.
• I think it should be impossible to declare overrides, excluding perhaps extension methods.
• I think it should probably be erased. The reflection tradeoff is to be expected here.

In other words, the struct approach is probably the better way of solving this.