type 宣言を使って宣言できるデータにはヴァリアントというのもある。おおざっぱに言うと「作り方に何種類か方法があるようなデータ」。Haskellでいう代数的データ型と同じと思っていいのかな。 たとえば次のようなものがヴァリアント。 # type figure = Poi…

コンストラクタの名前は： 一文字目が大文字 二文字目以降が英数字（A..Z, a..z, 0..9），アンダースコア（_）またはプライム（'） であるような任意の長さの文字列。