falseConstr :: Constr
falseConstr  = mkConstr boolDataType "False" [] Prefix
falseConstr :: Constr
falseConstr  = mkConstr boolDataType "False" [] Prefix
falseConstr  = mkConstr boolDataType "False" [] Prefix