Declared language extensions in the Arithmetic module instead of Cabal configurations