F # интерфейсы и свойства

Я пытаюсь овладеть F #, и в процессе я конвертирую некоторый код C #. У меня возникли проблемы с определением свойств в интерфейсе и их реализацией в виде.

Рассмотрим следующий код:

module File1

type IMyInterface =
    abstract member MyProp : bool with get, set
    abstract member MyMethod : unit -> unit

type MyType() = 
    interface IMyInterface with
        member val MyProp = true with get, set
        member self.MyMethod() = if MyProp then () else ()

Документация по свойствам F # , похоже, утверждает, что моя реализация MyProp в MyType верна, однако компилятор жалуется, что Msgstr "Значение или конструктор 'MyProp' не определены". Есть идеи?