Ну всё, для пустой цепочки трансформация автоматически выполняет правило, для конкатенации - тоже.
Получается, что если проверить, что естественность выполняется для каждого уникального ребра исходного графа\колчана, мы получим, что она будет выполняться для всех морфизмов свободной категории.
Значит, имея
type Vertex = Int
type Edge = (Int, Int)
type Graph = (Int, [Edge])
type FCFunctor = (Graph, Vertex -> Vertex , Edge -> [Edge])
type FCTrans = (FCFunctor, FCFunctor, Vertex -> [Edge])
можно написать
isNatTrans: FCTrans -> Bool
IsNatTrans (f, g, t) =
