Template Haskell でコード生成を行うようにしたので、関係演算の実装に戻る。project 演算は、集合に対する演算と見なせば以下のように単純に実装できる。 project :: (Eq a, Eq b) => (a -> b) -> R a -> R b project f (R s) = R (S.map f s) 実例は以下…