ExtInterface.fs

type MyType() =
    member x.Stuff = 1
    member x.DoStuff() = x.Stuff

type IListLike<'T> =
    abstract Enumerate : unit -> seq<'T>

type MyType with
    member x.DoMore() = x.DoStuff() + 1 // this works
    interface IListLike<int> with       // this doesn't: All implemented interfaces should be declared on the initial declaration of the type
        member x.Enumerate() = seq { yield 1; yield 2 }

[<EntryPoint>]
let main argv = 
    let t = new MyType()
    printfn "%A" (t.DoMore())
    System.Console.ReadKey() |> ignore
    0 // return an integer exit code