refactoring: Binary.hs