小编slo*_*mbo的帖子

我该如何阅读如下的类型定义？

type Config data msg =
  Config
    { toId : data -> String
    , toMsg : State -> msg
    , columns : List (ColumnData data msg)
    , customizations : Customizations data msg
    }

似乎有一个"重复"元素:配置存在于LHS和RHS上.

另一个例子是:

type State =
  State String Bool

这些类型的声明通信是什么？