abstractDataType :: String -> DataType
abstractDataType n = mkDataType n [abstractConstr n]
abstractDataType :: String -> DataType
abstractDataType n = mkDataType n [abstractConstr n]
abstractDataType n = mkDataType n [abstractConstr n]