module Empty where