Refactoring
Split Arbitrary.hs