Seekable Handles
-
Implement a phantom type for Handles that indicates whether aHandlesupports any of the seek operations. -
Implement with*functions that will run a function inside a parameterized handle, then return theSeekablehandle to its original position.