What is missing using interfaces compared to true type-classes?...

Implementing Tagless Final Encoding in F# with SRTP...

translate Haskell (monadic) to F#...

Using fsharp-typeclasses to make a function that works on arbitrary monads...