在Haskell中，箭头（->）被用作函数类型的表示。它不是一个数据构造函数，而是函数类型的一部分。

然而，你可以创建新的数据类型来表示箭头，并定义数据构造函数来创建和操作这些箭头。

以下是一个示例代码，展示了如何创建一个新的数据类型Arrow，以及如何定义数据构造函数Arrow'来创建箭头对象：

-- 定义 Arrow 数据类型
data Arrow a b = Arrow a b

-- 定义数据构造函数 Arrow'，创建 Arrow 对象
arrow' :: a -> b -> Arrow a b
arrow' x y = Arrow x y

-- 使用 Arrow 数据类型创建箭头对象
myArrow :: Arrow Int String
myArrow = arrow' 10 "Hello"

-- 使用模式匹配从 Arrow 对象中提取值
getValues :: Arrow a b -> (a, b)
getValues (Arrow x y) = (x, y)

-- 测试代码
main :: IO ()
main = do
  let (x, y) = getValues myArrow
  putStrLn $ "x: " ++ show x
  putStrLn $ "y: " ++ y

在上面的代码中，我们定义了一个Arrow数据类型，它包含两个类型参数a和b，表示箭头的输入类型和输出类型。然后，我们定义了一个数据构造函数arrow'来创建Arrow对象。我们还定义了一个函数getValues，用于从Arrow对象中提取值。最后，我们在main函数中使用这些函数来创建、提取和打印Arrow对象的值。

这只是一个简单的示例，你可以根据自己的需求扩展Arrow数据类型和相关函数。