Concurrent Cleanの一意型まわり

一意型

型宣言で、*Stateのような一意型やその他型属性はGame Libarayにいっぱい出てくるんで悩みどころでした。

こちらを見てたからわからなかったけど。

こっちのほうをあわせて見たらなんとなく分かった。