属性、タプル、リレーショナルを以下のように実装した。いまのところ、５つの属性からなるタプルまでしか実装していない。 type Attr = String -- | Attribute data A a = A Attr a deriving (Eq, Show) -- | Tuple data T1 a = T1 (A a) deriving (Eq, Show…