module ValidHoleFits where data Moo = Moo Integer