>>562
すまん、グダグダだな。
type synonym じゃなくて type signature ね。

あと、実装は何の実装の話か、具体例か何かあると、
もしかしたらもっと適切なレスができるかも。