System.IO.HVFS
class HVFS a
class HVFSStat a
class HVFSOpenable a
data HVFSOpenEncap
data HVFSStatEncap
withStat
withOpen
data SystemFS
type FilePath
type DeviceID
type FileID
type FileMode
type LinkCount
type UserID
type GroupID
type FileOffset
type EpochTime
data IOMode