Add Reducible module to cabal file