Add Spec.hs file