FunnerFact.fs

(* While you can give primitive types aliases, like this:*)

type Count = int

(* There will never be any type checking involved when assigning from int to Count. *)

(* An interesting use of units of measure changes this. If I define: *)

[<Measure>] type quantity

(* I can then write: *)

type Count = int<quantity>

(* And now assigning between Count and int will be type checked. *)