Add the missing Spec.hs