aboutsummaryrefslogtreecommitdiff
path: root/NaturalTransformation
ModeNameSize
d---------Instance178logplain
d---------Monoidal / Construction39logplain