有没有一种工具可以自动从Haskell源代码生成可视化的数据模型（类图之类的东西）？它会遍历数据构造函数和记录，并显示类型和字段的树形结构，输出漂亮的图像，例如框等。因此，它将分析以下��代码：
data Type1 = Type1 Int Type2
data Type2 = Type2 { v1 :: Type3, v2 :: Type4, v3 :: String }
data Type3 = Type3 { v4 :: Double }
data Type4 = Type4 { v4 :: Type3 }
它将从中生成一个图表，Type1显示2个属性，并链接到Type2，显示3个属性及其名称，并链接到Type3和Type4等。