nothingConstr :: Constr
nothingConstr = mkConstr maybeDataType "Nothing" [] Prefix
nothingConstr :: Constr
nothingConstr = mkConstr maybeDataType "Nothing" [] Prefix
nothingConstr = mkConstr maybeDataType "Nothing" [] Prefix