NaturalTransformation

data NatTr c1 c2 f g

data CompFF c1 c2 c3

compNat