Create primeformula.hs