inline shadows

inline.fs

open System
type Pure = Pure of unit
type Impure = Impure of unit
type M<'a,'p> = M of 'a
let purev x : M<_,Pure>= M(x)
let purev x : M<_,Impure>= M(x)

type ThingThatShows =
    static member show(x: Option<Pure> ) = sprintf "pure" 
    static member show(x: Option<Impure>) = sprintf "impure" 

let f (x:M<'a,_>, y:M<'a,_>) :M<'a,_> = match  

purev |> ThingThatShows.show |> Console.WriteLine
impurev |> ThingThatShows.show |> Console.WriteLine