Inverting type family to move Copy/Stat instances alongside their Struct declarations
Formatting
Removing dependencies
Removing invalid Stat instance
Removing test executable