trueConstr :: Constr
trueConstr   = mkConstr boolDataType "True"  [] Prefix
trueConstr :: Constr
trueConstr   = mkConstr boolDataType "True"  [] Prefix
trueConstr   = mkConstr boolDataType "True"  [] Prefix