なんでバリアント型のタグ名（datatypeのコンストラクタ）は宣言しないといけないのに、レコード型のフィールド名は宣言しなくていいんだろう…。そのせいで、双対のはずなのに、いろいろと齟齬が発生しているような（多相レコードとか多相バリアントまではい…