refactoring: examples/CRC.hs