FsCheck with Setup and Teardown

Question

I want to be able to test paired behaviors like "I can always fetch written records" or "output of readAllLines equals input to writeAllLines" with prope