module spec Empty where