module A where default (Double, Integer)