как использовать xUnit и FsCheck с IoC и насмешки в F #

Я хочу написать модульные тесты F #, используя технику тестирования базы свойств. Однако я столкнулся с несколькими препятствиями.Код, который я хочу провери...